Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /

• Συγγραφή απο Οργανισμό/Αρχή: Proceedings of the Logic Colloquium Aachen
• Άλλοι συγγραφείς: Richter, Michael M. 1938- (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin ; New York : Springer-Verlag, 1984.
• Σειρά: Lecture notes in mathematics (Springer-Verlag) 1103-1104.
• Θέματα: Λογική, Συμβολική και μαθηματική