Frege Church

Tarski Gödel

Homework 1 (Due April 12)

Homework 2 (Due April 19)

Homework 3 (Due April 27)

Homework 4 (Due May 17)

Homework 5 (Due May 31)

Links

• Professor Branden Fitelson's UC Berkeley Course Philosophy 140A, Metalogic.

Professor Paul Teller' chapter on Mathematical Induction from A Modern Formal Logic Primer, Volume II