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 |
Winter 2012 Offerings
| Call No | Type | Building | Room | Days | Time | Instructor | Homepage |
|---|---|---|---|---|---|---|---|
| 19988 | Lecture | CC | 0248 | MWF | 3:30-4:18 | Carlson, Tim |
Other 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