CS 486: Applied Logic
Spring 2001
Selected Solutions
Problem Set 2, #1 (Michael Brukman) -
HTML
Problem Set 2, #3 -
PostScript
;
TeX
Problem Set 3, #4 -
PostScript
Problem Set 5, #2 (ii,iii) and #3 (ii) -
PostScript
HOME
Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to:
juanita@cs.cornell.edu