Department of Mathematics
You are here: CSM > Mathematics > Courses > Undergraduate > MATH 470

MATH 470 : Mathematical Logic

Credits: 3

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

Pre-Requisites: MATH 360 or MATH/CS 320L, or equivalent.


  Logo - Mathematics Department Department of Mathematics
University of Massachusetts Boston
Phone: 617-287-6460;   Fax: 617-287-6433