Mathematical logic and its applications /

• Συγγραφή απο Οργανισμό/Αρχή: Advanced International Summer School and Conference on Mathematical Logic and Its Applications Druzhba, Varna, Bulgaria
• Άλλοι συγγραφείς: Skordev, Dimitur Genchev (επιμελητής.), Gödel, Kurt (συγγραφέας.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: New York : Plenum Press, c1987.
• Θέματα: Gödel, Kurt; Λογική, Συμβολική και μαθηματική