Methods in mathematical logic : proceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6 August, 1983 /

• Άλλοι συγγραφείς: Di Prisco, C. A. (επιμελητής.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin : Springer-Verlag, 1985.
• Σειρά: Lecture notes in mathematics (Springer-Verlag) 1130.
• Θέματα: Λογική, Συμβολική και μαθηματική