Finding Contents or People

Biography
Basic notions of model theory
Model-theoretic definition
Proof Theory
Logicians in Iran
Philosophy of Mathematics Fall (2013)
Association & Research Centers
Journals, Annals, Archives & Bulletins
Fun & Game
What is the philosophy of mathematics?
Required Book
Learning Outcomes
Set Theory: Learning outcome
Advanced Mathematical Logic
Advanced Mathematical Logic Fall 2013