Gary Hardegree (homepage) | Philosophy 513 - Math Logic I | (homepage) UMass Amherst |
General Info | On-Line TextBook |
Note | I offer this course occasionally. |
Prerequisites | Philosophy 310 (Intermediate Logic), or graduate status, or consent of instructor |
Brief Description |
This course offers an introduction to meta-logic. It presents some of the most important results in the meta-theory of first-order logic, including the completeness theorems and soundness theorems for classical sentential logic and classical predicate logic. |
Classroom | ?? |
Time | usually TuTh 10:00-11:15 |