PHL 340 Advanced Symbolic 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 or PHL 141QR.

Credits

3(3-0)

Course Syllabus