Akten
Principles of Constructive Mathematics
Enthält: ein komplettes Vorlesungsmanuskript und das Skript von zwei Einzelvorlesungen zur mathematischen Logik. Bei GK 3-1-1 und -2 handelt es sich um den hs. ergänzten masch. Durchschlag des Skriptes einer Lecture 3 und einer Lecture 6 zur mathematischen Logik. Die Stücke GK 3-1-3 bis -5 sind hektographierte Kopien eines hs. ergänzten masch. Vorlesungsmanuskriptes zur Vorlesung "Principles of Constructive Mathematics", die Kreisel 1958/59 in Stanford hielt. Insgesamt handelt es sich um 80 Vorlesungseinheiten. GK 3-1-1 umfaßt die Einzelvorlesungen 1 bis 30, GK 3-1-2 die Einzelvorlesungen 31 bis 47 und GK 3-1-3 die Einzelvorlesungen 48 bis 80.
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 3-1
- Umfang
-
5 Stücke (399 Bl.)
- Kontext
-
Georg Kreisel >> Pittsburgh-Teil >> Lecture Notes
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1958-1959
- Weitere Objektseiten
- 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.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1958-1959
Ähnliche Objekte (12)
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Principles and practice of mathematics
Introduction to my book "Essays in constructive mathematics"
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
GKE - voneinander lernen: Grundlagen Konstruktives Entwerfen : = Learning from each other: principles of constructive design
Techniques of Constructive Analysis
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
Relations between classes of constructive functionals
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Principles and practice of mathematics
Introduction to my book "Essays in constructive mathematics"
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
GKE - voneinander lernen: Grundlagen Konstruktives Entwerfen : = Learning from each other: principles of constructive design
Techniques of Constructive Analysis
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
Relations between classes of constructive functionals
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Principles and practice of mathematics
Introduction to my book "Essays in constructive mathematics"
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
GKE - voneinander lernen: Grundlagen Konstruktives Entwerfen : = Learning from each other: principles of constructive design
Techniques of Constructive Analysis
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics