Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203 1998 · ENGLISH · DJVU View details →
Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203 1998 · ENGLISH · DJVU View details →
