Math 322: Mathematical Logic, Spring 2017
Instructor:
Bob Milnikel
, RBH 317
Office Hours:
M 6:15-7:15 pm; Tu 10:10-11:00 am ; W 4:10-5:00 pm; Th 1:30-2:30 pm; F 3:10-4:00 pm
(and by appointment!)
Textbooks:
A Problem Course in Mathematical Logic
by
Stefan Bilaniuk
;
A Friendly Introduction to Mathematical Logic
by
Chris Leary
and
Lars Kristiansen
;
What is Mathematical Logic?
by J.N.Crossley et al.
Room & Time:
Rutherford B. Hayes Hall 203, 2:10-3:00 Monday, Wednesday & Friday.
[General Course Information]
[Daily Schedule]
The Not-So-Short Guide to LaTeX 2e