Die Widerspruchsfreiheit der klassischen Analysis
From MaRDI portal
Publication:2649138
DOI10.1007/BF01175131zbMath0042.01001MaRDI QIDQ2649138
Publication date: 1951
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/169205
Related Items
Maß und Integral in der konstruktiven Analysis, Über endliche Mengen, Hilbert's logic. From axiomatics to proof theory, Conceptions of Infinity and Set in Lorenzen’s Operationist System, Lorenzen Between Gentzen and Schütte