 
Summary: 21300 Basic Logic
Lecturer Teaching Assistant
Professor Andrews Jacob Davis
Email: andrews@cmu.edu jacobd@andrew.cmu.edu
pa01@andrew.cmu.edu
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
appointment.
Web site
http://gtps.math.cmu.edu/courses.html
Textbook
Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To
Truth Through Proof, Second Edition, Kluwer Academic Publishers, now published by
Springer, 2002.
Please tell me about any misprints you notice.
