MATH 570

Fall 2005

All Classes
Mathematical Logic
Course in Catalog
List of Terms offered
Register for Classes

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.

My Favorites
My Schedule
Section Status updates every 10 minutes.
CRN Type Section Time Day Location Instructor Section Details
30831
Lecture-Discussion
F1
2:00PM -2:50PM
MWF
445 Altgeld Hall
Solecki, S
Part of Term:
1
Date Range:
08/24/05-12/09/05
Restriction(s):
Restricted to Graduate - Urbana-Champaign.
COURSE EXPLORER
Email: Course Explorer Feedback

OFFICE OF THE REGISTRAR | 901 W. Illinois Street, Urbana, Illinois 61801

Site developed by: Technology Services at Illinois | UNIVERSITY OF ILLINOIS URBANA-CHAMPAIGN
1102 Digital Computer Laboratory | MC-256 | Urbana, IL 61801 | phone 217-244-7000