Finding Contents or People

Basic notions of model theory
Model-theoretic definition
Proof Theory
Philosophical logic
What is the philosophy of mathematics?
Learning Outcomes
What is the Set Theory?
Set Theory: Learning outcome
Advanced Mathematical Logic Fall 2013:Course Aims and Assessment
What is the Mathematical Logic?
Advanced Mathematical Logic: Required Books
Complexity of Computation
Biography
Journal Papers
Conference Papers