Models, Algebras, and Proofs
Download or Read eBook Models, Algebras, and Proofs PDF written by Xavier Caicedo and published by CRC Press. This book was released on 2021-02-27 with total page 471 pages. Available in PDF, EPUB and Kindle.
| Author | : Xavier Caicedo |
| Publisher | : CRC Press |
| Total Pages | : 471 |
| Release | : 2021-02-27 |
| ISBN-10 | : 9781000657302 |
| ISBN-13 | : 1000657302 |
| Rating | : 4/5 (02 Downloads) |
Book Synopsis Models, Algebras, and Proofs by : Xavier Caicedo
Book excerpt: 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.
