The following pages link to A Certain Kind of Formal Theories (Q5517665):
Displaying 11 items.
- A Study on Formal Deductions in the Primitive Logic (Q5544271) (← links)
- On Universal Character of the Primitive Logic (Q5546770) (← links)
- Taboo Versus Axiom (Q5546772) (← links)
- Reinforced Logics (Q5546773) (← links)
- On Systems of Self-Consistent Abstractions (Q5546776) (← links)
- Formal System Having Just One Primitive Notion (Q5546777) (← links)
- On Development of Formal Systems Starting from Primitive Logic (Q5546778) (← links)
- On a Formalism Which Makes any Sequence of Symbols Well-Formed (Q5549790) (← links)
- Certain Method for Generating a Series of Logics (Q5551418) (← links)
- A Formalism for Primitive Logic and Mechanical Proof-Checking (Q5586405) (← links)
- A Remark on the Intersection of Tow Logics (Q5599784) (← links)
