Next: About this document

Multiple Goal Rules (Smullyan p.105-106)

Axioms are where some

Axioms are
Other Rules
Magic by Magic

Cut by Cut


Lemma by Lemma

for previously proved.

cs486@cs.cornell.edu
Mon Feb 17 08:27:25 EST 1997