Jun 22, 2024  
OHIO University Graduate Catalog 2009-2011 
    
Catalog Navigation
  Catalog Home
  Application and Admission
  Academic Policies and Procedures
  Fees, Insurance, and Residency for Tuition Purposes
  Financial Aid
  Academic Organization
  Academic Units
  Programs of Study by Academic Unit
  Programs
  Course Information
  Courses
  Departmental Faculty
  University Profile, Vision, Mission, & History
  Governing Boards/University Administration
  Services for Students
  Notice of Non-Discrimination
  Copyright and Disclaimer
  My Portfolio
HELP
OHIO University Graduate Catalog 2009-2011 [Archived Catalog]

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

PHIL 520 - Symbolic Logic II

Focuses on the completeness of first-order logic, Gödel’s incompleteness theorems, axiomatic set theory, and Cantor’s and Dedekind’s theories of the infinite.

Prerequisites
Prereq: 320 or 502 or Math 306 (or equiv.) or CS 300.

Credits: (5)


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