Dec 07, 2025  
2012-2013 Graduate Studies Bulletin 
    
Catalog Navigation
  Bulletin Home
  Academic Calendars
  Admission (Graduate)
  Archived Bulletins
  General Information and Policies
  Tuition, Financial Aid & Scholarships
  Courses
  Distance Learning
  Programs (by Degree, University-wide)
  Programs (by School)
  Programs (Alphabetically, University-wide)
  Colleges and Departments
  Hofstra College of Liberal Arts and Sciences
  Frank G. Zarb School of Business
  School of Communication
  School of Education
  School of Engineering and Applied Science
  School of Health Sciences and Human Services
  Accreditations
  Academic Deadlines
  Administrative Organization
  Board of Trustees, Senior Administration and Academic Deans
  Campus Map
  Endowed Chairs and Distinguished Professorships
  Consumer Information and Student Right to Know
  Facilities and Services
  Faculty Listing
  FERPA Information
  Hofstra at a Glance
  Bulletin Help
  HEGIS Codes
  Hofstra Portal
  Printable Forms
  Philosophy Courses
  My Personal Catalog
HELP
2012-2013 Graduate Studies Bulletin [ARCHIVED BULLETIN]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Personal Catalog (opens a new window)

CSC 201A - Mathematical Logic


Semester Hours: 3
Periodically
The propositional calculus: truth tables and axiomatizations. First order theories: completeness theorem, formal number theory, Gödel’s incompleteness theorem.

Prerequisite(s)/Course Notes:
Open to graduate students in computer science; others need permission from computer science graduate director.


View Course Offering(s):

Fall 2025

January 2026

Spring 2026



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Personal Catalog (opens a new window)