Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Review: A. Frohlich, J. C. Shepherdson, On the Factorisation of Polynomials in a Finite Number of Steps; A. Frohlich, J. C. Shepherdson, Effective Procedures in Field Theory. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Maximal and cohesive vector spaces.J. B. Remmel - 1977 - Journal of Symbolic Logic 42 (3):400-418.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
    Download  
     
    Export citation  
     
    Bookmark   200 citations