PHIL4103: Advanced Logic
Cross-listed: MATH 4203

Prerequisites: COMS 2903 or MATH 2703 or PHIL 3103

A study of selected topics in advanced logic. Emphasis will be placed on proof theory, quantification theory, semantic tableaux, logicism, theories of completeness and consistency, and some consideration of the logical foundations mathematics.


CRN Section # # Seats Days Time Date Building Room

This course is currently not offered for this term.