Wellcome

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

No. of hits (from 9th Mar 12) :

Powered by Koha