Switch to: Citations

Add references

You must login to add references.
  1. Recursive Function Theory and Logic.Ann Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):619-620.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A computable ordinary differential equation which possesses no computable solution.Marian Boylan Pour-el - 1979 - Annals of Mathematical Logic 17 (1):61.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
    Download  
     
    Export citation  
     
    Bookmark   24 citations