previous up next
Go backward to Motivation
Go up to Top
Go forward to Some Axioms
RISC-Linz logo

Basics

Behavior of in  characterized by axioms.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next