Finding Contents or People

Model-theoretic definition
Proof Theory
Philosophical logic
Philosophy of Mathematics Fall (2013)
Journals, Annals, Archives & Bulletins
What is the philosophy of mathematics?
Required Book
Learning Outcomes
Set Theory Fall 2013
Advanced Mathematical Logic Fall 2013
Advanced Mathematical Logic Fall 2013:Course Aims and Assessment
Advanced Mathematical Logic: Required Books
Set Theory Fall 2013: Required Books
Biography
Journal Papers