HILBERT'S PROGRAMME
Open Access
- 1 December 1958
- journal article
- Published by Verein philosophie.ch in Dialectica
- Vol. 12 (3-4) , 346-372
- https://doi.org/10.1111/j.1746-8361.1958.tb01469.x
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- VON DER SYNTAX DER SPRACHE ZUR PHILOSOPHIE DER WISSENSCHAFTEN1Dialectica, 2010
- A note on direct productsThe Journal of Symbolic Logic, 1958
- Kreisel G.. A variant to Hilbert's theory of the foundations of arithmetic. The British journal for the philosophy of science, vol. 4 (1953–1954), pp. 107–129. See Errata and corrigenda, ibid., p 357.The Journal of Symbolic Logic, 1957
- Einführung in die Operative Logik und MathematikPublished by Springer Nature ,1955
- The formalization of mathematicsThe Journal of Symbolic Logic, 1954
- Zur Widerspruchsfreiheit der ZahlentheorieMathematische Annalen, 1940
- Die Grundlegung der elementaren ZahlenlehreMathematische Annalen, 1931
- Zur Hilbertschen BeweistheorieMathematische Zeitschrift, 1927