Log in with WebAuth to see who is in the course and view and write course reviews.
PHIL251 - First-Order Logic
Also Listed As: PHIL151
(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.
GERs: None
Details
Sell Your PHIL251 Book
CourseRank Details
Offerings
Readings
2007-2008 Winter
| Sec | Kind | Books | ||
|---|---|---|---|---|
| 01 | Required Material(s) | Enderton: | Mathematical Intro to Logic (2nd ed) | $97.95 |
| 01 | Required Material(s) | Pauly: | PHIL 151 Course Reader | $35.50 |
2008-2009 Winter
| Sec | Kind | Books | ||
|---|---|---|---|---|
| 01 | Required Material(s) | Enderton: | Mathematical Intro to Logic (2nd ed) | $107.00 |
Wiki
Log in with WebAuth to view the Wiki.