PHIL551Graduate
Advanced Logic I
Printed in the catalogue as ADVANCED LOGIC I
Course content
Proof theory and model theory of formal systems. Recursion theory.
More in PHIL
- PHIL101Introduction to Philosophy
- PHIL103Introduction to Symbolic Logic
- PHIL104Traditional Logic
- PHIL106Theory of Knowledge I
- PHIL108Introduction to Philosophy II
- PHIL110Introduction to Philosophical Concepts
- PHIL111Intro.to Contemporary Civilization
- PHIL112Intro.to Contemporary Civilzation