(DOWNLOAD) "Models, Algebras, and Proofs" by Xavier Caicedo & Carlos H. Montenegro " Book PDF Kindle ePub Free

eBook details
- Title: Models, Algebras, and Proofs
- Author : Xavier Caicedo & Carlos H. Montenegro
- Release Date : January 27, 2021
- Genre: Mathematics,Books,Science & Nature,
- Pages : * pages
- Size : 229134 KB
Description
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.