Title: Proceedings of the IX Latin American Symposium on Mathematical Logic
Subjects: Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA9.A1 L37 1994