Pages that link to "Item:Q4752100"
From MaRDI portal
The following pages link to New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica (Q4752100):
Displayed 7 items.
- Subsumption computed algebraically (Q1202639) (← links)
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
- Partially Ordered Sets (Q5768906) (← links)
- Partially ordered sets. (Q5922944) (← links)