In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1966
Enthält: 2 Sonderdrucke und eine Korrekturfahne des zusammen mit W. A. Howard publizierten Artikels "Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis" aus The Journal of Symbolic Logic 31 (1966)
