Ebook: Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota
Author: Xavier Caicedo Carlos Montenegro
- Genre: Mathematics // Algebra
- Series: Lecture notes in pure and applied mathematics 203
- Year: 1999
- Publisher: Marcel Dekker
- City: New York
- Edition: 1
- Language: English
- djvu
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.
Download the book Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)