Apr 03, 2025  
2018-2019 Undergraduate Catalog 
    
  Catalog Home
  Notices and Updates
  About the University
  Accreditation
  Trustees & Administrative Leadership
  Academic Calendar
  Academic Policies & Procedures
  Student Rights & Responsibilities
  General Education
  Colleges, Schools, & Departments
  Academic Programs
  Course Descriptions
  Admissions
  Costs & Financial Aid
  Academic Resources
  Contact Information
  Maps & Directions
HELP
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

MATH 470 - Mathematical Logic

3 Credit(s) | Lecture | 
Course can be counted for credit once

Description:
Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.

Enrollment Requirements:
Prerequisite: MATH 320  or MATH 360 

021804:1