2025-2026 Undergraduate Catalog 
    
    Mar 18, 2026  
HELP
2025-2026 Undergraduate Catalog
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

MA 420 - Mathematical Logic

Credit(s): 3
An introduction to mathematical logic and metamathematics. Includes predicate calculus, proof theory, formal axiomatic theories, consistency, completeness, and decidability.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)
Catalog Navigation
  University Catalog Home
  University Calendar
  Academic Majors and Degrees
  Course Descriptions
  The Millikin Education
  James Millikin Honors Scholars Program
  Long-Vanderberg Scholars Program
  Leighty Science Scholars Program
  Center for International Education
  Admission
  Tuition & Fees
  General Graduation Requirements
  Academic Policies and Grading System
  College of Arts and Sciences
  College of Fine Arts
  College of Professional Studies
  Tabor School of Business
  Special Academic Programs
  The Interdepartmental Major
  Edge Program
  Pre-Professional Programs, Health Sciences
  Chicago Center for Urban Life and Culture
  Directory of Board of Trustees, Staff and Faculty
  Campus Facilities and Parking
  Campus Map
  My Portfolio