Home › Authors › Latin-American Symposium on Mathematical Logic (10th 1996 Bogotá, Colombia) 👤 Latin-American Symposium on Mathematical Logic (10th 1996 Bogotá, Colombia) 1 book Books by Latin-American Symposium on Mathematical Logic (10th 1996 Bogotá, Colombia) Models, algebras, and proofs 1999
