next up previous contents
Next: The assumption base Up: Natural Deduction Language Previous: Proof syntax   Contents


Proof semantics



2004-08-04