Models, algebras, and proofs :
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá /
edited by Xavier Caicedo, Carlos H. Montenegro.
- New York : Marcel Dekker, 1999.
- xiii, 448 p. ; 26 cm.
0824719700
98045734
Logic, Symbolic and mathematical
Algebras and Proofs
511.3 CAI M
0824719700
98045734
Logic, Symbolic and mathematical
Algebras and Proofs
511.3 CAI M