PHIL 454: Advanced Symbolic Logic

PHIL University of Illinois at Urbana-Champaign 3.0 credits

Course Description

Completeness, compactness, and Lowenheim-Skolem theorems for first-order logic; incompleteness and undecidability of formal systems; and additional material on proof theory, model theory, or axiomatic set theory as time permits. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: PHIL 202 or consent of instructor.

Reviews

Sign in to Review Login to Review

No reviews yet. Be the first to share your experience!

Sign in with Google Login to Review