Course Catalog

UGRD > MATH > 470

Mathematical Logic

Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.

Offered in:

2016 Spring

Section Class Number Weekly Schedule Time Instructor Location
01 5328 TuTh 02:00 PM - 03:15 PM
M02-0419 More Info