previous up next
Go backward to Predicates as Actions
Go up to Top
Go forward to Rigid Variables and Quantifiers
RISC-Linz logo

Validity and Provability


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next