Switch to: Citations

Add references

You must login to add references.
  1. Frege’s Foundations and Intuitionistic Logic.G. Kreisel - 1984 - The Monist 67 (1):72-91.
    Summary. This article develops two principal points. First, the so-called rivals of logical foundations, associated with Zermelo, Hilbert, and Brouwer, are here regarded as variants; specifically: to simplify, refine, resp. extend Frege’s scheme. Each of the variations is seen as a special case of a familiar strategy in the pursuit of knowledge. In particular, the extension provided by Brouwer’s intuitionistic logic concerns the class of propositions considered: about incompletely defined objects such as choice sequences. In contrast, Frege or, for that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Rationality of p-adic poincaré series: uniformity in p.Angus Macintyre - 1990 - Annals of Pure and Applied Logic 49 (1):31-74.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)A system which can define its own truth.Alonzo Church - 1950 - Fundamenta Mathematicae 37 (1):190--92.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • A Contribution to Gödel's Axiomatic Set-Theory, I.Ladislav Rieger - 1958 - Journal of Symbolic Logic 23 (2):216-217.
    Download  
     
    Export citation  
     
    Bookmark   3 citations