| 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 |