Browsing：Home > Technical > Science/Engineering > Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics)
Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics)
Xavier Caicedo, Carlos Montenegro, "Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics)"Publisher: CRC | Pages: 472 | ISBN: 0824719700 | DjVu | 14.8 MB
"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."
related link：
-
Latin American Symposium Xavier Caicedo Bogata Columbia Logic And Proof Carlos Montenegro Algebraic Logic Proof Theory Mathematical Logic Model Theory Djvu Lecture Notes Original Research Quot Crc Computer Science Applied Mathematics Models Science Featur
- More infomation may be in the description section, read description carefully!
- Click "Ebook Search" button to find mirrors if no download links or dead links in the description.
If you like this，Welcome subscribe get more laster updated。