Pages that link to "Item:Q766673"
From MaRDI portal
The following pages link to The algebraic treatment of the methodology of elementary deductive systems (Q766673):
Displaying 8 items.
- Quasi-completeness in non-Fregean logic (Q758987) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- An essay in the formal theory of extension and of intension (Q1218422) (← links)
- Four studies in metamathematics (Q1220068) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- Jerzy Łoś and a history of Abelian groups in Poland. (Q1414993) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- On semigroups admitting ring structure (Q5921118) (← links)
