PHIL4515 (Advanced Deductive Logic) course reviews and ratings at Northeastern (NEU). Compare professors with RateMyProfessor reviews.
Examines central results of formal deductive logic with a focus on first-order (predicate) logic. Topics include proof systems, decidability, computability, and metatheory.
Data updated October 2026.