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

• Other Authors: Di Prisco, C. A. (επιμελητής.)
• Format: Book
• Language: English
• Published: Berlin : Springer-Verlag, 1985.
• Series: Lecture notes in mathematics (Springer-Verlag) 1130.
• Subjects: Λογική, Συμβολική και μαθηματική