Vol. 1130. Di Prisco, C. A. (Ed.)
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1-6, 1983
QA9 S95 1983