MA 58500, Fall 2026
Mathematical Logic I
Credit Hours: 3.00. Propositional and predicate calculus; the Gdel completeness and compactness theorem, primitive recursive and recursive functions; the Gdel incompleteness theorem; Tarski's theorem; Church's theorem; recursive undecidability; special topics such as nonstandard analysis.
Instructor Info
| Section |
Room |
Time |
Instructor |
Office |
| 001 |
MATH 215 |
10:30AM |
MWF |
Margaret Thomas
|
|
Course Materials
| Section |
Type |
Title |
Author |
| ALL |
TEXT |
An Invitation to Mathematical Logic: 301 - The course will be based on material from a variety of sources, but the text that we will follow most closely is:Marker, D., An Invitation to Mathematical Logic, Graduate Texts in Mathematics, vol. 301, Springer, New York, 2024 (available as an e-book t |
David Marker |
Important Notes
- ADA policies: please see our
ADA Information page for more details.
- In the event of a missed exam, see your instructor/professor as soon as possible.
- See the
online course evaluation page for more information on how we collect course feedback from students.