Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Log - detaljert visning

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá