SPRING 2017
SYMBOLIC LOGIC (Phil 3121)
MW 2:20pm 3:35pm
Dr. Andrea Pedeferri
Come to the dark side, we have first and
second order logic, truth trees, identity,
models, natural deduction, completeness
and incompleteness, decidability... and
cookies! Enroll now!
For any info please email apedef@gwu.edu