2017-18 Pomona College Catalog 
    
    Sep 29, 2020  
2017-18 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2020-21 catalog.

Add to Portfolio (opens a new window)

PHIL060 PO - Logic

When Offered: Each fall.
Instructor(s): P. Kung; L. Perini
Credit: 1

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.
Satisfies the following General Education Requirement(s), subject to conditions explained in the Degree Requirements section of this Catalog:
Area 5



Add to Portfolio (opens a new window)