Models, Algebras, and Proofs: Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogota - Couverture souple

 
9780824719708: Models, Algebras, and Proofs: Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogota

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Xavier Caicedo, Carlos Montenegro

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.