Switch to: References

Add citations

You must login to add citations.
  1. Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.
    Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Beyond tense logic. [REVIEW]John P. Burgess - 1984 - Journal of Philosophical Logic 13 (3):235-248.
    Download  
     
    Export citation  
     
    Bookmark   1 citation