PHI 551 - Mathematical Logic

College of Arts and Sciences
3 credit(s) Irregularly

Predicate calculus with identity, its relationship to mathematics and to computer theory. Important results concerning independence, consistency, completeness, decidability and computability.
PREREQ PHI 251 OR MAT 375 OR CIS 375