PHIL 325 Metalogic

A survey of results in the metatheory of first order logic including consistency completeness decidability and undecidability.

Credits

4 units

Prerequisite

PHIL 225 or MATH 210

Core Requirements Met

• Mathematics/Science