MATH 303

Mathematical Logic

Xavier University · UGRD · Fall 2026

1 section

Catalog description

Axiomatic development of propositional calculus, functional complete sets of operators, axiomatic development of the first order function calculus, the existential operator, the algebra of logic. Prerequisites: Undergraduate level MATH225 Minimum grade of D College of Arts & Sciences Mathematics

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #xavier-MATH303Fall 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?