Models, algebras, and proofs : selected papers of the X Latin American Symposium on mathematical logic held in Bogotá /

Bibliographic Details
Other Authors: Caicedo, Xavier, ed, Montenegro, Carlos H., ed
Format: Book
Published: New York : Marcel Dekker, 1999.
Series:Lecture notes in pure and applied mathematics ; vol. 203
Subjects: