Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 2-10 |
| Kreisel - Krivine |
| 1962-[ca. 1973] |
Die Mappe enthält den Inhalt einer ursprünglichen Mappe, in der Material im Zusammenhang mit den verschiedenen Ausgaben des Bandes über Modelltheorie gesammelt war, den Kreisel zusammen mit J.-L. Krivine verfaßte. GK 2-10-1 ist die Kopie eines hs. Blattes mit Korrekturen zur deutschen Ausgabe von 1972. GK 2-10-2 ist eine hektographierte Kopie von masch. Korrekturen bzw. Ergänzungen. Die Corrigendaliste auf der ersten Seite bezieht sich auf die englische Ausgabe von 1967 und listet Corrigenda für die zweite Auflage von 1971 auf, die offenbar anläßlich der deutschen Ausgabe von 1972 gemacht wurden. Beigegeben sind eine neue Einleitung und eine zusätzliche Anmerkung für die zweite Auflage, die in der deutschen Fassung nicht erscheinen. GK 2-10-2 ist eine hektographierte Kopie von zwei masch. Seiten mit Corrigenda, die in der 2. Aulage von 1971 realisiert sind. GK 2-10-4 und -5 sind Kopien von hs. Seiten mit Corrigenda für die zweite Auflage von 1971. GK 2-10-6 ist eine hektographierte Kopie der masch. Abschrift dieser hs. Vorlage, in welche Abschrift offenbar weitere Corrigenda aufgenommen wurden. Bei GK 2-10-7 bis -9 handelt es sich um hektographierte Kopien von Corrigenda, die sich offenbar auf eine Vorfassung der 1. Auflage der englischen Ausgabe beziehen. Bei GK 2-10-10 handelt es sich um die Kopie eines hs. Manuskriptes mit dem Titel "Einleitung zur deutschen Auflage". Der Text unterscheidet sich stark von dem gedruckten Text der Einleitung der deutschen Ausgabe von 1972. GK 2-10-11 ist eine hektographierte Kopie einer kurzen masch. Beschreibung von Textteilen, vermutlich adressiert an Krivine. Bei den Stücken GK 2-10-12 bis -23 handelt es sich um Teile von Vorfassungen des englischen bzw. französischen Druckmanuskriptes 1. Auflage. GK 2-10-12 ist die Kopie eines hs. korrigierten Typoskriptes mit dem Untertitel "Introduction". Dieser Text ist offensichtlich umformuliert worden und auf verschiedene Teile des Gesamtmanuskriptes verteilt worden. GK 2-10-13 ist die Kopie von vier hs. korrigierten Seiten, die vermutlich einen Einschub zu GK 2-10-12 darstellten. GK 2-10-14 ist die Kopie eines mit den Seitenzahlen 103 bis 143 durchnumerierten Typoskriptes mit dem Titel "Predicative logic of finite type". GK 2-10-15 ist die Kopie eines mit den Seitenzahlen 21 bis 102 durchnumerierten Typoskriptes mit dem Titel "Predicate logic of first order". Bei GK 2-10-16 handelt es sich um ein Typoskript mit dem Titel "Resume du cours: Chapitres 1-3". GK 2-10-17 ist die Kopie eines Typoskriptes mit dem Titel "Lemme d'interpolation pour le calcul des predicats du premier ordre", GK 2-10-18 die Kopie eines Typoskriptes mit dem Titel "Calcul des prédicats", GK 2-10-19 die Kopie eines Typoskriptes mit dem Titel "Calcul des prdicats d'ordre fini". GK 2-10-20 ist ein masch. Blatt mit dem Titel "Resume du cours, Calcul propositionnel", GK 2-10-21 die Kopie eines masch. Blattes mit dem Titel "Additions supplementaires (Loqique propositionelle)", GK 2-10-22 die Kopie eines masch. Blattes mit dem Titel "Additions supplementaires (Elimination des quantificateurs)" und GK 2-10-23 die Kopie eines fünfseitigen Typoskriptes mit dem Titel "Addition et reseignements bibliographiques". Bei GK 2-10-24 handelt es sich um eine hs. annotierte Kopie von vier masch. Seiten mit dem Titel "Session de Fevrier 1962", offenbar ein Teil der hektographierten Kursunterlagen, aus denen das Buch hervorgegangen ist.
Krivine, Jean-Louis |
| 24 Stücke (322 Bl.) |
| PAKN, GK (Georg Kreisel), GK 2-10 |
