Title | Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota |
---|---|
Author | Xavier Caicedo, Carlos Montenegro |
Year | 1999 |
Edition | 1 |
Volume | |
Series | Lecture notes in pure and applied mathematics 203 |
Publisher | Marcel Dekker |
City | New York |
Language | English |