Courses

           

Description

PHIL4103: Advanced Logic
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.

Sections

CRN Section # # Seats Days Time Date Building Room

This course is currently not offered for this term.