Switch to: Citations

Add references

You must login to add references.
  1. Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.
    Download  
     
    Export citation  
     
    Bookmark   25 citations