## Results for PHIL 151: Metalogic |
1 courses |

(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.

Terms: Win
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR

Instructors: ; Hawke, P. (PI); Covington, J. (GP)