Konstruktive Begründung der Mathematik
From MaRDI portal
Publication:2649022
DOI10.1007/BF01162411zbMath0041.34303MaRDI QIDQ2649022
Publication date: 1950
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/169180
Related Items (12)
Maß und Integral in der konstruktiven Analysis ⋮ Über endliche Mengen ⋮ Eine Bemerkung über die Abzählbarkeitsvoraussetzung in der Algebra ⋮ The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics ⋮ On Inversion Principles ⋮ General-elimination stability ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ Prawitz, Proofs, and Meaning ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ Steps towards a proof-theoretical semantics ⋮ Operation and Predicativity: Lorenzen’s Approach to Arithmetic ⋮ Conceptions of Infinity and Set in Lorenzen’s Operationist System
This page was built for publication: Konstruktive Begründung der Mathematik
