Kleene's Axiom Schemata

1. 
2. (a)
   (b)
3. (a)
   (b)
4. 
5. 
6. 
7. )
8. (``dreaded rule 8'')

Deduction Theorem (a la Kleene): If , then .

• About this document ...