PHL 340 Intermediate Logic

First order quantificational theory is presented as a paradigm of formal theories. In terms of this, some metatheoretic notions are introduced. Prerequisite: PHL 140.

Credits

3(3-0)

Course Syllabus