The following pages link to (Q4025005):
Displaying 6 items.
- Investigations in protothetic (Q1071747) (← links)
- The one variable implicational calculus (Q2560807) (← links)
- A SUFFICIENT AND NECESSARY CONDITION FOR TARSKI'S PROPERTY IN LINDENBAUM'S EXTENSIONS (Q3676117) (← links)
- First-order theories without axioms (Q3987717) (← links)
- An open problem in Tarski's calculus of deductive systems (Q3989922) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)