Auf unserer Webseite werden neben den technisch erforderlichen Cookies noch Cookies zur statistischen Auswertung gesetzt. Sie können die Website auch ohne diese Cookies nutzen. Durch Klicken auf „Ich stimme zu“ erklären Sie sich einverstanden, dass wir Cookies zu Analyse-Zwecken setzen. Sie können Ihre Cookie-Einstellungen hier einsehen und ändern.
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
Anmelden
Um Merklisten nutzen zu können, müssen Sie sich zunächst anmelden.
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)