previous up next
Go backward to Cartesian Product
Go up to Top
Go forward to Logic and Set Theory
RISC-Linz logo

Predicates as Sets

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next