The following pages link to (Q3257767):
Displayed 5 items.
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Proof-theoretic semantics for classical mathematics (Q2500813) (← links)
- Kohärente Systeme von BOOLEschen Algebren (Q3922674) (← links)
- First-Order Logic Without Bound Variables: Compositional Semantics (Q5213619) (← links)
- Turning decision procedures into disprovers (Q5505144) (← links)