Switch to: Citations

Add references

You must login to add references.
  1. Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
  • Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Direct download  
     
    Export citation  
     
    Bookmark   594 citations  
  • Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  • From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.
    This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...)
    Direct download  
     
    Export citation  
     
    Bookmark   163 citations  
  • Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.
    This influential 1888 publication explained the real numbers, and their construction and properties, from first principles.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   178 citations