Description: Logic. 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.
Prerequisite(s): Please check course schedule for requirements.
For up-to-date information on current course offerings and details, please refer to the Pitzer class schedule on MyCampus2 Portal.
