Pages that link to "Item:Q2649022"
From MaRDI portal
The following pages link to Konstruktive Begründung der Mathematik (Q2649022):
Displaying 12 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- General-elimination stability (Q526738) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Maß und Integral in der konstruktiven Analysis (Q2649204) (← links)
- Über endliche Mengen (Q2649224) (← links)
- Eine Bemerkung über die Abzählbarkeitsvoraussetzung in der Algebra (Q2650725) (← links)
- On Inversion Principles (Q3518563) (← links)
- Operation and Predicativity: Lorenzen’s Approach to Arithmetic (Q5024722) (← links)
- Conceptions of Infinity and Set in Lorenzen’s Operationist System (Q5024723) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
