2016-2017 Catalog

PHIL 325 Metalogic

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

Credits

4

Prerequisite

PHIL 225 MATH 210 or permission of instructor.

Core Requirements Met

  • Mathematics/Science