Go backward to
Example
Go up to
Top
Go forward to
Proof by Case Distinction
Deriving New Knowledge
Author:
Wolfgang Schreiner
Last Modification: November 30, 1999