The following pages link to (Q4921532):
Displaying 5 items.
- Relevance and paraconsistency—a new approach (Q3484811) (← links)
- The contributions of Alfred Tarski to general algebra (Q3770483) (← links)
- The Discovery of My Completeness Proofs (Q4897039) (← links)
- Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices (Q5687321) (← links)
- On intermediate propositional logics (Q5720187) (← links)