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  
  • (1 other version)On direct products of theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.
    Download  
     
    Export citation  
     
    Bookmark   7 citations