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.
• Θέματα: Λογική, Συμβολική και μαθηματική

Πίνακας περιεχομένων:

• τ. 1. Models and sets / edited by G.H. Müller and M.M. Richter
• τ. 2. Computation and proof theory / edited by M.M. Richter...[et.al.].