May 02, 2026  
2023-2024 Graduate Catalog 
    
2023-2024 Graduate Catalog This is not the most recent catalog version; be sure you are viewing the appropriate catalog year.

MATH 506 Introduction to Mathematical Logic


Propositional and first-order predicate calculi and rules of deduction; application in mathematical systems and proofs. Experience in writing proofs is assumed.

Credit 2 hrs
Grade Mode Normal (A-F) Course Rotation irregularly, with no planned offerings (in-person)

Prerequisites -
Restriction by Major -
Restriction by Degree Type -

Equivalent Course(s) -
Course History -


Class listings and details page