Summary: 21300 Basic Logic
Lecturer Teaching Assistant
Professor Andrews Jacob Davis
Email: firstname.lastname@example.org email@example.com
O#ce: WEH 7216 WEH 7112
O#ce phone: 4122682554 4122685666
Other phone: 4127675564 4129732141
O#ce hours: M 2:00 4:00 TTh 2:00 4:00
Lectures are held MWF 11:30 12:20 in HH B103. You are expected to attend all lectures.
There are no scheduled recitation sessions for this course, but you are welcome to discuss
questions with the lecturer or teaching assistant during o#ce hours, or at other times by
Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To
Truth Through Proof, Second Edition, Kluwer Academic Publishers, now published by
Please tell me about any misprints you notice.