Logic Colloquium

Abstrakt

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

Klíčová slova

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