|
Nov 23, 2024
|
|
|
|
2024-2025 Undergraduate Catalog
|
PHIL 4500 - Advanced Logic A study of the syntax and semantics of modern propositional logic and first order quantification theory. This course will also survey some of the meta-mathematical results, including Godel’s completeness and incompleteness theorems.
Prerequisite/Corequisite: Prerequisite: PHIL 2010 or PHIL 2200
Hours: 3
|
|