Pages that link to "Item:Q5951525"
From MaRDI portal
The following pages link to A legacy recalled and a tradition continued (Q5951525):
Displaying 7 items.
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
- Investigations into proof structures (Q6653096) (← links)