Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II
From MaRDI portal
Publication:2650841
DOI10.1007/BF01181135zbMath0050.24501MaRDI QIDQ2650841
Publication date: 1953
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/169311
Related Items
A note on three-valued logic and Tarski theorem on truth definitions, Zur Widerspruchsfreiheit einer typenfreien Logik, Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I