Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • (3 other versions)Principles of mathematics.Bertrand Russell - 1931 - New York,: W.W. Norton & Company.
    Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...)
    Download  
     
    Export citation  
     
    Bookmark   462 citations  
  • (1 other version)Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
    Download  
     
    Export citation  
     
    Bookmark   285 citations  
  • Russell's Mathematical Logic.Kurt Gödel - 1944 - In The Philosophy of Bertrand Russell. Northwestern University Press. pp. 123-154.
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • (2 other versions)A Hundred Years of Philosophy.John Passmore - 1957 - Les Etudes Philosophiques 13 (1):82-82.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • (2 other versions)The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
    Download  
     
    Export citation  
     
    Bookmark   822 citations  
  • (2 other versions)A Hundred Years of Philosophy.John Passmore - 1957 - Philosophy 34 (129):166-168.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • On the paradox of grounded classes.Richard Montague - 1955 - Journal of Symbolic Logic 20 (2):140.
    Download  
     
    Export citation  
     
    Bookmark   7 citations