Jun 07, 2025  
2025-2026 UH Mānoa Catalog 
  
Catalog Navigation
  Catalog Home
  Courses
  Course Descriptions
  Undergraduate
  Undergraduate Education
  General Education Requirements
  Undergraduate Programs A-Z
  Graduate
  Graduate Division
  Graduate Programs A-Z
  Colleges/Schools, Departments & Programs
  College of Arts, Languages & Letters
  College of Education
  College of Engineering
  College of Natural Sciences
  College of Social Sciences
  College of Tropical Agriculture and Human Resilience
  Hawaiʻinuiākea School of Hawaiian Knowledge
  Institute for Astronomy
  Institute for Sustainability and Resilience
  Interdisciplinary Programs
  John A. Burns School of Medicine
  Outreach College
  ROTC Programs
  School of Architecture
  School of Nursing and Dental Hygiene
  School of Ocean & Earth Science & Technology
  Shidler College of Business
  Thompson School of Social Work & Public Health
  William S. Richardson School of Law
  Instructional Support, Research & Service Units
  University Information
  University Profile
  2025-2026 Academic Calendar
  Campus Policies and Information
  Tuition, Fees, and Financial Aid
  Student Life
  Personnel
  Administration
  Faculty
  Faculty Emeriti
  Instructional Support, Research, and Service Units Staff
  Catalog Archive
  Download Previous Catalogs
HELP
2025-2026 UH Mānoa Catalog

MATH 654 - Introduction to Logic

Credits: 3

Model theory, computability theory, set theory. In particular syntax and semantics of first order logic; incompleteness, completeness, and compactness theorems; Loewenheim- Skolem theorems; computable and computably enumerable sets; axioms of set theory; ordinals and cardinals.

Major Restrictions: Graduate students only.