PHL 580
Intermediate Logic
This course examines first-order logic, including basic metalogical results such as soundness and completeness. There will be an introduction to basic set theory and metalogic. Topics may include the Loewenheim-Skolem theorems for first-order logic and Gödel’s incompleteness theorems.
PHL 580 Requisite Information:
PHL 580 Let's You Take:
Prerequisites: PHL 212
- This course is not a prerequisite for any other courses.
Prerequisites: PHL 212
Tell us about PHL 580.
PHL 580 Reviews (0)
Bird
Total Statistics
-
-
-
Recommend
Total Statistics
-
-
-
Useful
Total Statistics
-
-
-