MATH 570

Fall 2026 All Classes

All Classes

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.

My Favorites

My Schedule

Section Status updates every 10 minutes.

MATH 570 class schedule data for fall 2026
	Status		CRN	Type	Section	Time	Day	Location	Instructor	Section Details
			30831	Lecture-Discussion	X1	1:00PM -1:50PM	MWF	149 Henry Administration Bldg	Castle, B	Availability: Open (Restricted) Part of Term: 1 Date Range: 08/24/26-12/09/26 Section Info: Undergraduates seeking approval to enroll should obtain permission from the Math Undergrad Director by filling out the webform located at https://forms.illinois.edu/sec/1209343045. Students from the following programs must contact the Director of Graduate Studies in Mathematics <rdeville@illinois.edu> to request permission to register for the course: Restricted to Graduate - Urbana-Champaign. Not intended for MS:Economics:Policy Econ -UIUC, MS:Economics:Policy Econ -UIUC, MS: Financial Engineering, MENG:Mechanical Enginerng-UIUC, MENG:Elec & Computer Eng-UIUC, or MENG:Engineering:Comp Eng-UIUC Restriction(s): Restricted to Graduate - Urbana-Champaign. Not intended for MS:Economics:Policy Econ -UIUC, MS:Economics:Policy Econ -UIUC, MS: Financial Engineering, MENG:Mechanical Enginerng-UIUC, MENG:Elec & Computer Eng-UIUC, or MENG:Engineering:Comp Eng-UIUC.