Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   200 citations  
  • (2 other versions)Quelques procedes de definition en topologffi recursive.Daniel Lacombe - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 24--129.
    Download  
     
    Export citation  
     
    Bookmark   1 citation