previous up next
Go backward to Logic Evaluator
Go up to Top
Go forward to Predicate Logic
RISC-Linz logo

Predicate Logic

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next