Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical logic held in Bogotá: 203 (Lecture Notes in Pure and Applied Mathematics) - Softcover

 
9780824719708: Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical logic held in Bogotá: 203 (Lecture Notes in Pure and Applied Mathematics)

Synopsis

"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."

"synopsis" may belong to another edition of this title.

About the Author

Xavier Caicedo, Carlos Montenegro

"About this title" may belong to another edition of this title.