Switch to: Citations

References in:

Hilbert's programme

Dialectica 12 (3‐4):346-372 (1958)

Add references

You must login to add references.
  1. (1 other version)The formalization of mathematics.Hao Wang - 1954 - Journal of Symbolic Logic 19 (4):241-266.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Von der syntax der sprache zur philosophie der wissenschaften.Paul Bernays - 1957 - Dialectica 11 (3-4):233-246.
    ZusammenfassungAn Hand der Betrachtung einiger Hauptzüge in der neueren Entwicklung der Philosophie des logischen Empirismus und nahestehender Richtungen wird dargelegt, wie die Korrektur der zu simplifizierenden Thesen in dem ursprünglichen Programm der Wiener Schule auf eine Auseinandersetzung mit den traditionellen erkenntnistheoretischen Problemen zurückführt. — P.B.RésuméCe travail prend en considération certains développements récents de l'empirisme logique et des points de vues apparentés. Ces développements tendent sinon à un abandon, du moins à une revision de certaines positions par trop simplificatrices, tout d'abord (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)A Variant to Hilbert's Theory of the Foundations of Arithmetic.G. Kreisel - 1957 - Journal of Symbolic Logic 22 (3):304-306.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)A note on direct products.L. Novak Gál - 1958 - Journal of Symbolic Logic 23 (1):1-6.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Kreisel G.. A variant to Hilbert's theory of the foundations of arithmetic. The British journal for the philosophy of science, vol. 4 , pp. 107–129. See Errata and corrigenda, ibid., p 357. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (3):304-306.
    Download  
     
    Export citation  
     
    Bookmark   1 citation