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 Fall 2005
Seminar in Computational Logic
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
CSc 74010 Spring 2002