Математическая логика и основания математики

Sub-topics

• Category Theory and Foundations
• Computability Theory
• Model Theory
• Proof Theory
• Set Theory