previous up next
Go backward to Implicative Laws
Go up to Top
Go forward to Operational Interpretation
RISC-Linz logo

Equivalences

(A <=> B)

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next