Jul 26, 2024  
Undergraduate Record 2007-2008 
    
Catalog Navigation
  Catalog Home
  Board of Visitors and University Administration
  Academic Calendar
  Statement of Purpose and Goals
  University of Virginia
  Admission
  Tuition, Fees, Housing, and Dining
  Financial Aid
  University Regulations
  Programs and Degrees
  College of Arts and Sciences
  School of Architecture
  McIntire School of Commerce
  Curry School of Education
  School of Engineering and Applied Science
  School of Nursing
  School of Continuing and Professional Studies
  Additional Academic Opportunities
  ROTC
  Reading Course Listings
  Course Descriptions
  Programs
  Student Services
  Archived Records
HELP
Undergraduate Record 2007-2008 [ARCHIVED RECORD]

PHIL 542 - Symbolic Logic

Examines various results in metalogic, including completeness, compactness, and undecidability. Effective computability, theories of truth, and identity may also be covered. (E)

Prerequisites & Notes
Prerequisite: PHIL 242 or equivalent.

Credits: 3