Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
- 1 March 1958
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 4 (1-2) , 3-26
- https://doi.org/10.1007/bf01977111
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Zur Axiomatik der MengenlehreMathematische Annalen, 1956
- An investigation of the propositional calculus used in a particular system of logicMathematical Proceedings of the Cambridge Philosophical Society, 1954
- Widerspruchsfreier Aufbau einer typenfreien Logik. IIMathematische Zeitschrift, 1952
- Widerspruchsfreier Aufbau einer typenfreien LogikMathematische Zeitschrift, 1952
- Widerspruchsfreier Aufbau der Logik IThe Journal of Symbolic Logic, 1950
- The inconsistency of certain formal logicsThe Journal of Symbolic Logic, 1942
- The paradox of Kleene and RosserTransactions of the American Mathematical Society, 1941
- A Set of Postulates For the Foundation of LogicAnnals of Mathematics, 1933
- A Set of Postulates for the Foundation of LogicAnnals of Mathematics, 1932
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931