Models, algebras, and proofs
Subtitle: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
By: edited by Xavier Caicedo, Carlos H. Montenegro.
Contributors: Caicedo, Xavier, 1944-; Montenegro, Carlos H., 1958-
Series: Lecture notes in pure and applied mathematics ;; 203; Lecture notes in pure and applied mathematics ;; v. 203.
Publisher: Marcel Dekker
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 448
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references and index.