Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Caicedo Xavier)
Results:1items
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota / edited by Xavier Caicedo, Carlos H. Montenegro.
New York : Marcel Dekker , c1999. - (Lecture notes in pure and applied mathematics)
Books