Next:
The assumption base
Up:
Natural Deduction Language
Previous:
Proof syntax
 
Contents
Proof semantics
2004-08-04