2012-13 Pomona College Catalog 
    
    Nov 21, 2024  
HELP
2012-13 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2024-25 catalog.

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

PHIL 060 PO - Logic


CrsNo PHIL060 PO


When Offered: Each year; fall 2012.

Instructor(s): P. Kung; L. Perini

Introduction to mathematical logic through the development of proof techniques (natural deduction and semantic tableaux) and model theory for sentential logic and quantification theory. Properties of logical systems, such as consistency, completeness and decidability.


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

  Courses
  New and Revised Courses
  Claremont Colleges Course Schedule
  Departments, Programs and Areas of Study
  Degree Requirements & Academic Regulations
  Majors and Minors


  Academic Calendar
  About the College
  Academics at Pomona
  Admissions
  Campus Life
  Financial Aid
  Financial Information
  Special Programs and Opportunities


  Faculty
  Administration
  Board of Trustees


  Campus Facilities
  Campus Map and Directions


  Archived Pomona College Catalogs


  My Portfolio