Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 3-1 |
| Principles of Constructive Mathematics |
| 1958-1959 |
| 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. |
| 5 Stücke (399 Bl.) |
| PAKN, GK (Georg Kreisel), GK 3-1 |
