MATH 350 Metalogic

This course surveys results in the metatheory of first order logic including consistency, completeness, decidability, and undecidability.

Credits

4 units

Cross Listed Courses

MATH 350

Prerequisite

PHIL 150 or MATH 210

Core Requirements Met

• Mathematics/Science