Switch to: Citations

Add references

You must login to add references.
  1. Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
    Download  
     
    Export citation  
     
    Bookmark   65 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