Summary: 21-300 Basic Logic
Lecturer Teaching Assistant
Professor Andrews Jacob Davis
Email: email@example.com firstname.lastname@example.org
Office: WEH 7216 WEH 7112
Office phone: 412-268-2554 412-268-5666
Other phone: 412-767-5564 412-973-2141
Office 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 office 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.