Akten

Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

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)

Archivaliensignatur: PAKN, GK Georg Kreisel, GK 8-1-62

Umfang: 2 Sonderdrucke, 1 Korrekturfahne

Kontext: Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften

Bestand: PAKN, GK Georg Kreisel

Laufzeit: 1966

Weitere Objektseiten: Objekt im "Archivportal-D" anzeigen

Letzte Aktualisierung: 10.06.2025, 11:28 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Original beim Datenpartner anzeigen

Objekttyp

Sachakte

Entstanden

1966

Ähnliche Objekte (12)

Hochschulschrift

Superposition: Types and Induction

Confirmation and induction

Sensorless vector control of induction motors and low speed and zero speed

Enumerative Induction and Lawlikeness

Hochschulschrift

Induction on non-freely generated data types

Hochschulschrift

Graded and geometric parabolic induction

Induction, space and positive ethics

Arbeitspapier

Capacity, Entry and Forward Induction

Journal article | Zeitschriftenartikel

Induction, space and positive ethics

Grafik

Induction

Abschnitt