View schedules for
|
|
|
 |
MATH 570
Mathematical Logic
Credit: 4 hours.
(MATH 410) Development of first order predicate logic; completeness theorem; formalized number theory and the Godel incompleteness theorem. Prerequisite: MATH 417 or consent of instructor.
Section Information
| CRN | Type | Section | Time | Days | Location | Instructor |
| 30831 | lecture- discussion | F1 | 02:00 PM - 02:50 PM | MWF | room 447
Altgeld Hall | Henson, C |
| |
