Next:
Propositional calculus
Up:
Typed logic
Previous:
Pure propositions
Formulas
Propositional calculus
Boolean valued formulas
Typed propositional formulas
Type expressions
Terms
Typing contexts
Typing judgments
Examples
James Wallis
1999-09-17
