previous up next
Go backward to Formality vs Informality
Go up to Top
Go forward to Operational Interpretation
RISC-Linz logo

Preliminaries

Meaning
Formula -> Truth Value

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next