Die Widerspruchsfreiheit der Stufenlogik

DOI10.1007/BF01180425zbMath0015.19302WikidataQ56082432 ScholiaQ56082432MaRDI QIDQ2645424

Gerhard Gentzen

Publication date: 1936

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/168669

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Dialogues and Proofs; Yankov’s Contribution to Proof Theory, Logic reduced to bare (proof-theoretical) bones, The independence of Peano's fourth axiom from Martin-Löf's type theory without universes, The consistency of the ramified Principia