Logic Colloquium

Abstract

Logic Colloquium, European Summer Meeting of the Association for Symbolic Logic

Keywords

• Set Theory
• Model Theory
• Reflection Principles and Modal Logic
• Proof Theory and Proof Complexity
• Computability
• Foundations of Geometry