Math 648: Mathematical Logic I
Course Textbooks
| Type | Title | Edition | Author | Publisher | ISBN Number |
|---|---|---|---|---|---|
| Course Textbook | A Mathematical Introduction to Logic | 2nd | Enderton | Elsevier | 0122384520 |
Summer 2008 Offerings
No courses foundOther Course Information
PrerequisitesDescription
The syntax and semantics of sentential logic and first order logic; completeness and compactness theorems for first order logic.Credits
3Quarters Offered
Autumn
Last updated by Webmaster on 01/02/08