PHIL 3450 - Mathematical Logic

3 Credits (Minimum) 3 Credits (Maximum)

Introduces students to mathematical logic. Topics will include first-order quantification theory; formal number theory; axiomatic set theory; computability. Incompleteness, undecidability, and partial recursion will be discussed. Prer., MATH 1040 or MATH 2150 or PHIL 3440.