This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.

×
Stand with UkraineDonate

Northern Illinois University Course Info

Dekalb, Illinois

Favorite

Course Info

Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.


PHIL 506

Advanced Logic

Topics selected from major results of metalogic, including basic proof theory and model theory, soundness, completeness, the Lwenheim-Skolem theorem, computability, Gdels incompleteness theorem, and Churchs theorem

Units: 3.0

Prerequisites:
PHIL 505 - Intermediate Logic