Models, Algebras, and ProofsLatin-American Symposium on Mathematical Logic (10th 1996 Bogotá, Colombia)₹9,242