Feb 17, 2025  
2021/2022 University Catalog 
    
Catalog Navigation
  Catalog Home
  About SDSU
  Academic Calendars
  Curriculum Home
  SDSU Imperial Valley
  SDSU Global Campus
  Summary of Curricula Offered
  Curricula by Department
  Programs by Campus Location
  Course Information
  Course Descriptions
  General Education Requirements
  Graduation Requirements for the Bachelor’s Degree
  Requirements for Master’s Degrees
  Requirements for Doctoral Degrees
  Admission and Registration
  Tuition and Fees
  Financial Aid and Scholarships
  Special Programs and Services
  University Library
  Academic Advising
  Divisions
  Colleges
  Major and Credential Codes
  Nondegree Curricula
  University Policies
  The California State University
  Administration and Organization
  Faculty
  SDSU Campus Directory
  Publications Archive
  SDSU Campus Maps
HELP
2021/2022 University Catalog [ARCHIVED CATALOG]

MATH 523 - Mathematical Logic

Units: 3

Prerequisite(s): MATH 245  with a grade of C (2.0) or better. Proof of completion of prerequisite(s) required: Copy of transcript.

Propositional logic and predicate calculus. Rules of proof and models. Completeness and the undecidability of arithmetic.

Note: Not open to students with credit in PHIL 521 .