Course Textbooks
| Type | Title | Edition | Author | Publisher | ISBN Number |
|---|---|---|---|---|---|
| Course Textbook | A Mathematical Introduction to Logic | 2nd | Enderton | Elsevier | 0122384520 |
Autumn 2008 Offerings
No courses foundOther Course Information
PrerequisitesMathematics 648 or permission of instructor. Description
Continuation of 648; decidability and undecidability of systems and structures for number theory; G�del's incompleteness theorems and recursive functions; second order logic.Credits
3Quarters Offered
Winter