Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
21-300 Basic Logic Lecturer Teaching Assistant
 

Summary: 21-300 Basic Logic
Lecturer Teaching Assistant
Professor Andrews Jacob Davis
Email: andrews@cmu.edu jacobd@andrew.cmu.edu
pa01@andrew.cmu.edu
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
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.

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics