MATH 4580
Mathematical Logic
University of Missouri-St Louis · UGRD · Fall 2026
1 section
Catalog description
Prerequisites: MATH 2450 and one of MATH 3250 , CMP SCI 3130 , or PHIL 4460 ; or consent of instructor. This course focuses on a study of the logic of mathematics by the axiomatic method, with a development of the propositional calculus and restricted predicate calculus emphasizing its application to the foundations of mathematics.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #missouri_st_louis-MATH4580Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?