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

• Corporate Author: Proceedings of the Logic Colloquium Aachen
• Other Authors: Richter, Michael M. 1938- (επιμελητής.)
• Format: Conference Proceeding Book
• Language: English
• Published: Berlin ; New York : Springer-Verlag, 1984.
• Series: Lecture notes in mathematics (Springer-Verlag) 1103-1104.
• Subjects: Λογική, Συμβολική και μαθηματική

Table of Contents:

• τ. 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.].