Finding Contents or People

Basic notions of model theory
Model-theoretic definition
Unprovability and Generalized Ramsey Theory
Philosophical logic
Philosophy of Mathematics Fall (2013)
What is the philosophy of mathematics?
Set Theory
Set Theory Fall 2013
Set Theory: Learning outcome
Advanced Mathematical Logic
Advanced Mathematical Logic Fall 2013
Advanced Mathematical Logic: Syllabus & Learning outcomes
What is the Mathematical Logic?
Complexity of Computation
Biography