Switch to: References

Citations of:

Kurt gödel

Stanford Encyclopedia of Philosophy (2008)

Add citations

You must login to add citations.
  1. Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
    Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   12 citations