Next:
Relation to sentences
Up:
Typed logic
Previous:
Typed logic
Propositions
proposition
Relation to sentences
The category of propositions,
Prop
The category of propositional functions
Types
Examples
James Wallis
1999-09-17
