24.242 Logic II

Class Info

The central results of modern logic: the completeness of predicate logic, recursive functions, the incompleteness of arithmetic, the unprovability of consistency, the indefinability of truth, Skolem-Löwenheim theorems, and nonstandard models.

This class has 24.241 as a prerequisite.

24.242 will not be offered this semester. It will be available in the Spring semester, and will be instructed by .

This class counts for a total of 12 credits. This class counts as a HASS H.

You can find more information at the http://www.google.com/search?&q=MIT+%2B+24.242&btnG=Google+Search&inurl=https site.

MIT 24.242 Logic II Related Textbooks

© Copyright 2015