Mathematics 5163: Mathematical Logic
Winter, 1999
- Lecturer :
Wayne Richter
- Office :
235 Vincent Hall
- Phone : 625-1858
- E-mail : richter@math.umn.edu
- Web Page http://www.math.umn.edu/~richter
- Office hours: Monday before class; Wednesday after class;
and by appointment
You may also ask questions by
e-mail at any time.
Required Text
- Enderton, A Mathematical Introduction to Logic
This material is available in
Williamson Bookstore .
Math 5163 is the second quarter of a year course, 5162-3-4, in Mathematical Logic. Math 5163 and Math 5164 develop first-order logic through the Goedel
Completeness and Incompleteness Theorems. It is possible to
take Math 5163-4 without taking Math 5162, but it is not recommended that one
take Math 5164 without first taking Math 5163.
For additional information about the School of Mathematics, see
School of Mathematics .
-
Approximate class schedule, homework list, and late breaking news.
Updated February 12, 1999
-
Some old exams, related files and grade report.
Updated March 12, 1999
-
-
Registrar's Web Site :
Visit this site to find class schedules, course guides, information on
final exams, on-line registration, and much more.
-