Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
21700 Mathematical Logic II Spring 2011 MWF 11:30 WEH 7201
 

Summary: 21700 Mathematical Logic II
Spring 2011 MWF 11:30 WEH 7201
Professor Andrews
Department of Mathematical Sciences
O#ce: WEH 7216
email: andrews@cmu.edu or pa01@andrew.cmu.edu
Phones: 4122682554 (o#ce), 4127675564 (home)
Usual o#ce hours:
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, or suggestions about the next edition you wish
to make.
This semester we will cover Chapters 5 7. The lectures will correspond closely to the material
in the book. You are expected to read the material in the book corresponding to the material
covered in class. The purpose of the lectures is to help you understand and thoroughly absorb this
material, so you are always encouraged to ask questions during lectures.
Computer assignments

  

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

 

Collections: Mathematics