MTH 483
/MTH 583. Introduction to Mathematical Logic
Miami University · UGRD · Fall 2026
1 section
Catalog description
Propositional logic, first-order logic, theories and models, completeness and compactness, additional topics such as nonstandard analysis. Prerequisite: MTH 421/MTH 521 or MTH 441/MTH 541 , or permission of instructor.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #miami_oxford-MTH483Fall 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?