Latin American on symposium on mathematical logic (6. Caracas, 1983)
Titolo
Methods in mathematical logic : proceedings of the 6th Latin American Symposium, on Mathematical Logic, held in Caracas, Venezuela, August 1-6, 1983 / edited by C. A. Di Prisco