Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)A remark on free choice sequences and the topological completeness proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (4):369-388.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Projections of lawless sequences.D. Van Dalen & A. S. Troelstra - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   7 citations