previous up next
Go backward to Logic Evaluator
Go up to Top
Go forward to Inductive Set Definition
RISC-Linz logo

Induction on Sets

Author: Wolfgang Schreiner
Last Modification: November 24, 1999

previous up next