AUSSAGENLOGISCHE GRUNDEIGENSCHAFTEN FORMALER SYSTEME
Open Access
- 1 December 1958
- journal article
- Published by Verein philosophie.ch in Dialectica
- Vol. 12 (3-4) , 422-442
- https://doi.org/10.1111/j.1746-8361.1958.tb01473.x
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Projektive EbenenPublished by Springer Nature ,1955
- The Axiom of Choice in Quine's New Foundations for Mathematical LogicProceedings of the National Academy of Sciences, 1953
- VII.—NEGATIVE TYPESMind, 1952
- New Foundations for Mathematical LogicThe American Mathematical Monthly, 1937