2012-13 Pomona College Catalog 
    
    Mar 29, 2024  
2012-13 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2023-24 catalog.

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.



Add to Portfolio (opens a new window)