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

Buch 134 von 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)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Xavier Caicedo, Carlos Montenegro

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.