MATH 570
Mathematical Logic
Credit: 4 hours.
Development of first order predicate logic; completeness theorem; formalized number theory and the Godel incompleteness theorem. Prerequisite: MATH 417 or consent of instructor.
| CRN | Type | Section | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| 30831 | lecture- discussion | E1 | 01:00 PM - 01:50 PM | MWF | room 345 Altgeld Hall | Henson, C |
| Restricted to Graduate - Urbana-Champaign. | ||||||