Pages that link to "Item:Q918531"
From MaRDI portal
The following pages link to Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term (Q918531):
Displaying 4 items.
- The one variable implicational calculus (Q2560807) (← links)
- A Formalisation of an ℵ<sub>0</sub>‐Valued Propositional Calculus with Variable Functors (Q3329440) (← links)
- A Simplified Self <i>m</i>‐AL Set of Primitive Functors for the <i>m</i>‐Valued Propositional Calculus (Q3843600) (← links)
- Czesław Lejewski: Propagator of Lvov-Warsaw Ideas Abroad (Q4611688) (← links)