Widerspruchsfreier Aufbau der Logik I

DOI10.2307/2268439zbMath0036.14703OpenAlexW96379660MaRDI QIDQ5794260

Wilhelm Ackermann

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268439

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle ⋮ Replacement in logic ⋮ Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I ⋮ A CALCULUS FOR SELF-REFERENCE ⋮ Toward useful type-free theories. I