Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (1 other version)From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.
    From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • (1 other version)Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • On the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):67-67.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On a Generalized Logic Calculus.Gaisi Takeuti - 1957 - Journal of Symbolic Logic 22 (4):351-352.
    Download  
     
    Export citation  
     
    Bookmark   9 citations