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