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) - Tapa blanda

Libro 134 de 138: Lecture Notes in Pure and Applied Mathematics
 
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)

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Xavier Caicedo, Carlos Montenegro

"Sobre este título" puede pertenecer a otra edición de este libro.