Current Teaching in New York
CSc 85200
Fall 2007
Computational Logic Seminar
Past Teaching in New York
CSc 85010
Spring 2007
Justification Logic
CSc 85200
Fall 2006
Seminar in Computational Logic
CSc 85200
Spring 2006
Seminar in Computational Logic
CSc 85200
Fall 2005
Seminar in Computational Logic
CSc 85200
Spring 2005
Seminar in Computational Logic
CSc 85200
Fall 2004
Seminar in Computational Logic
CSc 85010
Spring 2004
Proofs and Computations
CSc 85010
Fall 2002
Computational Logic
CSc 74010
Spring 2002
Logical Foundations of Artificial Intelligence