Logic Colloquium (1983 Aachen, Germany)

• Models and sets
• basic of logic
• basic of logic
• Computation and proof theory
• Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983