[Unified-mailman] CP: Proof theory handout with solutions

[Kristina Lundqvist]

Students,

attached is a handout with some example proofs including solutions. The 
table on page 1 and 2 will be part of the cheat sheet, which I will send 
out in a final version later on today.

..IKL

---
I. Kristina Lundqvist, Ph.D.
Charles S. Draper Assistant Professor of Aeronautics and Astronautics


Massachusetts Institute of Technology
77 Massachusetts Avenue, 33-406
Cambridge, MA 02139


phone: +1 617-452-2550    fax: +1 617-253-7397
kristina at mit.edu

http://www.mit.edu/~kristina
http://esl.mit.edu/index.html




-------------- next part --------------
A non-text attachment was scrubbed...
Name: proof theory handout.doc
Type: application/msword
Size: 212480 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040516/db93dd1b/attachment.doc