Pages that link to "Item:Q2540259"
From MaRDI portal
The following pages link to A logical system based on rules and its application in teaching mathematical logic (Q2540259):
Displaying 9 items.
- Jerzy Słupecki (1904-1987): Life and work (Q913782) (← links)
- Natural deduction and arbitrary objects (Q1061731) (← links)
- Deductive foundation and analytic propositions (Q1211485) (← links)
- On certain axiomatizations of arithmetic of natural and integer numbers (Q2306641) (← links)
- The application of mereology to grounding of elementary geometry (Q2558054) (← links)
- Logical consequence, semantic and formal (Q2626579) (← links)
- Stanisław Jaśkowski and Natural Deduction Systems (Q4611686) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- A note on existential instantiation (Q5536621) (← links)
