everything.study
PHIL 4630

Symbolic Logic

3 cr · Undergraduate

Selected topics in mathematical logic, including propositional and quantificational logic, number theory, and the major metatheoretical results. The course content may vary. Students can earn multiple credits for this course only when the topic subtitle is different.

Prerequisites & course information

PR/CR: A minimum grade of C is required unless otherwise indicated. Prerequisite: written consent of department head. Mutually Exclusive: PHIL 3000 Attributes: Humanities

Sources