PHIL 411: Advanced Symbolic Logic

Fall 2002 Materials

Syllabus

Metalogic

Undecidability and Incompleteness