Go backward to
Logic Evaluator
Go up to
Top
Go forward to
Inductive Set Definition
Induction on Sets
Author:
Wolfgang Schreiner
Last Modification: November 24, 1999