Jump to Content

Collection Guide
Collection Title:
Collection Number:
Get Items:
Guide to the Gödel Editorial Project Records
SC0740  
View entire collection guide What's This?
PDF (99.42 Kb) HTML
Search this collection
 
 
Table of contents What's This?

Collection Contents

 

Records

Box 1, Folder 1

Front Material

Box 1, Folder 2

Final Checklist

Box 1, Folder 3

Illustrations

Box 1, Folder 4

Nachlass Overview

Box 1, Folder 5

Gödel's Gabelsberger

Box 1, Folder 6

*1930c Correspondence

Box 1, Folder 7

Introductory Note to *1930c

Box 1, Folder 8

*1930c Konigsberg

Box 1, Folder 9

Unpublished Lecture on the Completeness of the Functional Calculus

Box 1, Folder 10

*1930c Konigsberg Translation

Box 1, Folder 11

*1930c Textual Notes

Box 1, Folder 12

*1931? Correspondence

Box 1, Folder 13

Introductory Note to *1931?

Box 1, Folder 14

*1931? "Uber unentscheidbare Satze" (Original German)

Box 1, Folder 15

*1931? "On undecidable sentences" (English Translation)

Box 1, Folder 16

*1933o Correspondence

Box 1, Folder 17

Introductory Note to *1933o

Box 1, Folder 18

*1933o "The present situation in the foundations of mathematics"

Box 1, Folder 19

*1930o References and Textual Notes

Box 1, Folder 20

*1933? Correspondence

Box 1, Folder 21

Introductory Note to *1933?

Box 1, Folder 22

*1933? "Simplified proof of a theorem of Steinitz"

Box 1, Folder 23

*1933? References and Textual Notes

Box 1, Folder 24

Zilsel "Konzept"

Box 1, Folder 25

Zilsel – Photocopy of Original Shorthand

Box 1, Folder 26

Zilsel – Correspondence

Box 1, Folder 27

Introductory Note to *1938a

Box 1, Folder 28

*1938a "Votrag bei Zilsel" (Original German)

Box 1, Folder 29

*1938a "Lecture at Zilsel's" (English Translation)

Box 1, Folder 30

*1938a Old Versions

Box 1, Folder 31

Zilsel Transcription

Box 1, Folder 32

Notes on "Zusammenkunft bei Zilsel"

Box 1, Folder 33

*1938a References and Textual Notes

Box 2, Folder 1

*1939b Correspondence – Gottinger Lecture

Box 2, Folder 2

Introductory Notes to *1939b and *1940a

Box 2, Folder 3

*1939b "Vortrag Gottingen" (Original German)

Box 2, Folder 4

*1939b "Lecture at Gottingen" (English Translation)

Box 2, Folder 5

Gottingen Lecture Typescripts

Box 2, Folder 6

Gottingen – Photocopy of Shorthand Original

Box 2, Folder 7

*1939b References and Textual Notes

Box 2, Folder 8

*193? Correspondence

Box 2, Folder 9

Introductory Note to *193?

Box 2, Folder 10

*193? "Undecidable diophantine propositions"

Box 2, Folder 11

*193? References and Textual Notes

Box 2, Folder 12

*1940a Correspondence

Box 2, Folder 13

*1940a "Lecture on the consistency of the continuum hypothesis"

Box 2, Folder 14

*1940a Typescript

Box 2, Folder 15

*1940a References and Textual Notes

Box 2, Folder 16

*1941 Correspondence

Box 2, Folder 17

Introductory Note to *1941

Box 2, Folder 18

*1941 "In what sense is intuitionistic logic constructive?"

Box 2, Folder 19

Yale Lecture concerning *1941 – 15 April 1941

Box 2, Folder 20

*1941 Manuscript

Box 2, Folder 21

*1941 References and Textual Notes

Box 2, Folder 22

*1946/9 Correspondence

Box 2, Folder 23

Introductory Note to *1946/9

Box 2, Folder 24

*1946/9 Kant and Relativity– Manuscript A

Box 2, Folder 25

*1946/9 Kant and Relativity– Manuscript B

Box 2, Folder 26

*1946/9 Kant and Relativity– Manuscript C

Box 2, Folder 27

*1946/9-B2 "Some observations about the relationship between theory of relativity and Kanitan philosophy"

Box 2, Folder 28

*1946/9-B2 Typescripts

Box 2, Folder 29

Corrections to *1946/9-B2 Manuscript B

Box 2, Folder 30

*1946/9-C1 "Some observations about the relationship between theory of relativity and Kantian philosophy"

Box 2, Folder 31

Corrections *1946/9-C1

Box 2, Folder 32

*1946/9-C1 Typescripts

Box 2, Folder 33

*1946/9-B2 and *1946/9-C1 "Barbed Wire Versions"

Box 2, Folder 34

*1946/9 Textual Notes

Box 2, Folder 35

*1946/9 References

Box 2, Folder 36

Kant-Relativity Draft MSS# 040416

Box 2, Folder 37

Kant-Relativity Draft MSS# 040417

Box 2, Folder 38

Kant-Relativity Draft MSS# 040418

Box 3, Folder 1

*1949b Correspondence

Box 3, Folder 2

Introductory Note to *1949b

Box 3, Folder 3

*1949b "Lecture on rotating universes"

Box 3, Folder 4

*1949b "Lecture on rotating universes" Manuscript

Box 3, Folder 5

*1949b References and Textual Notes

Box 3, Folder 6

*1951 "Gibbs Lecture" Introductory Note and Correspondence

Box 3, Folder 7

*1951 "Gibbs Lecture" & Manuscript

Box 3, Folder 8

*1951 References and Textual Notes

Box 3, Folder 9

*1953/9 Correspondence

Box 3, Folder 10

Introductory Note to*1953/9

Box 3, Folder 11

*1953/9-I "Is mathematics syntax of language?"

Box 3, Folder 12

*1953/9-II "Is mathematics syntax of language?"

Box 3, Folder 13

*1953/9-III "Is mathematics syntax of language?" (1 of 2)

Box 3, Folder 14

*1953/9-III "Is mathematics syntax of language?" (2of 2)

Box 3, Folder 15

*1953/9-III "Is mathematics syntax of language?" – Original Notes

Box 3, Folder 16

*1953/9-IV "Is mathematics syntax of language?"

Box 3, Folder 17

*1953/9-V"Is mathematics syntax of language?"

Box 3, Folder 18

*1953/9-V and VI "Is mathematics syntax of language?"

Box 3, Folder 19

*1953/9 References and Textual Notes

Box 3, Folder 20

*1961/? Correspondence

Box 3, Folder 21

Introductory Note to *1961/?

Box 3, Folder 22

*1961/? Supporting Materials

Box 3, Folder 23

*1961/? "The modern development of the foundations of mathematics in the light of philosophy" (Original German)

Box 3, Folder 24

*1961/? "The modern development of the foundations of mathematics in the light of philosophy" (English Translation)

Box 3, Folder 25

*1961/? "The modern development of the foundations of mathematics in the light of philosophy" – Original Notes

Box 3, Folder 26

*1961/? Textual Notes

Box 3, Folder 27

*1961/? References

Box 3, Folder 28

*1970 Correspondence

Box 3, Folder 29

Introductory Note to*1970

Box 3, Folder 30

*1970 "Ontological proof"

Box 3, Folder 31

*1970 References and Textual Notes

Box 3, Folder 32

*1970a,b,c Correspondence

Box 3, Folder 33

Solonay Introductory Note to *1970a,b,c

Box 3, Folder 34

*1970a "Scales of functions"

Box 3, Folder 35

*1970a,b,c Supplementary Material

Box 3, Folder 36

*1970a,b,c Textual Notes

Box 3, Folder 37

*1970a,b,c References

Box 3, Folder 38

*1970b "Scales of functions II"

Box 3, Folder 39

*1970c "Scales of functions III"

Box 3, Folder 40

Appendix A

Box 4, Folder 1

Appendix B

Box 4, Folder 2

*1970 excerpt: Max-Phil XIV

Box 4, Folder 3

Textual Notes and Correspondence

Box 4, Folder 4

General Textual Notes

Box 4, Folder 5

References

Box 4, Folder 6

Correspondence Concerning References

Box 4, Folder 7

Addenda and Corrigenda

Box 4, Folder 8

Index

Box 4, Folder 9

Indices to References

Box 4, Folder 10

Complete Manuscript (1 of 2)

Box 4, Folder 11

Complete Manuscript (2 of 2)

Box 4, Folder 12

Corrections to Preface and References – October 1993

Box 4, Folder 13

Corrections to Complete Manuscript – December 1993

Box 4, Folder 14

Last Corrected Pages

Box 4, Folder 15

General Proofreading – Messages

Box 4, Folder 16

Volume II – Issues

Box 4, Folder 17

Volume III – General (through 1992)

Box 4, Folder 18

Volume III – references

 

Records Accession ARCH-2005-262

Note

File titles beginning with a date are referring to Gödel's work of that date.
Box 1, Folder 1

"Books and Journals in the Nachlass of Kurt Gödel" compiled by Cheryl A. Dawson, July 1984

Box 1, Folder 2

"The Papers of Kurt Gödel, an Inventory," John W. Dawson, July 1984

Box 1, Folder 3

TEX status, 1984-85

Box 1, Folder 4

1929 + trans [translation]

Box 1, Folder 5

1930 + trans

Box 1, Folder 6

1930a + trans

Box 1, Folder 7

1931 + trans

Box 1, Folder 8

1930b + trans

Box 1, Folder 9

1931a + trans

Box 1, Folder 10

1931b + trans

Box 1, Folder 11

1931c + trans

Box 1, Folder 12

1931d + trans

Box 1, Folder 13

1931e + trans

Box 1, Folder 14

1931f + trans

Box 1, Folder 15

1931g + trans

Box 1, Folder 16

1932

Box 1, Folder 17

1932a + trans

Box 1, Folder 18

1932b + trans

Box 1, Folder 19

1932c + trans

Box 1, Folder 20

1932d + trans

Box 1, Folder 21

1932e + trans

Box 1, Folder 22

1932f + trans

Box 1, Folder 23

1932g + trans

Box 1, Folder 24

1932h + trans

Box 1, Folder 25

19321 + trans

Box 1, Folder 26

1932j + trans

Box 1, Folder 27

1932k + trans

Box 1, Folder 28

1932l + trans

Box 1, Folder 29

1932m + trans

Box 1, Folder 30

1932n + trans

Box 1, Folder 31

1932o + trans

Box 1, Folder 32

1933 + trans

Box 1, Folder 33

1933 + trans

Box 1, Folder 34

1933a + trans

Box 1, Folder 35

1933b + trans

Box 1, Folder 36

1933c + trans

Box 1, Folder 37

1933d + trans

Box 1, Folder 38

1933e + trans

Box 1, Folder 39

1933h + trans

Box 1, Folder 40

1933i + trans

Box 1, Folder 41

1933j + trans

Box 1, Folder 42

1933k + trans

Box 1, Folder 43

1933l + trans

Box 1, Folder 44

1933m + trans

Box 1, Folder 45

1933n + trans

Box 1, Folder 46

1934

Box 1, Folder 47

1934a + trans

Box 1, Folder 48

1934b + trans

Box 1, Folder 49

1934d + trans

Box 1, Folder 50

1934e + trans

Box 1, Folder 51

1934f + trans

Box 1, Folder 52

1935 + trans

Box 1, Folder 53

1935a + trans

Box 1, Folder 54

1935b + trans

Box 1, Folder 55

1935c + trans

Box 1, Folder 56

1936 + trans

Box 1, Folder 57

1936a + trans

Box 1, Folder 58

1936b + trans

Box 1, Folder 59

1938

Box 1, Folder 60

1939

Box 1, Folder 61

1939a

Box 1, Folder 62

1940

Box 1, Folder 63

1944

Box 1, Folder 64

1946

Box 1, Folder 65

1947

Box 1, Folder 66

1949

Box 1, Folder 67

1949a +

Box 1, Folder 68

1952 (?)

Box 1, Folder 69

1958

Box 1, Folder 70

1964

Box 1, Folder 71

1972a

Box 1, Folder 72

1974

Box 1, Folder 73

Reviews

Box 1, Folder 74

References

Box 1, Folder 75

Gödel correspondence (responses to the call for correspondence from Gödel 1982)

Box 1, Folder 76

Correspondence [letter to Feferman from John, 1987, with attachments]

Box 1, Folder 77

Translations of Gödel-Bernays correspondence

Box 1, Folder 78

Typescripts of Gödel-Bernays and Gödel-Carnap correspondence

Box 1, Folder 79

Bernays-Gödel correspondence 1930-31 (photocopies)

Box 1, Folder 80

Gödel-Bernays correspondence, 1930s-60s (photocopies)

Box 1, Folder 81

Re Gödel-Bernays correspondence (photocopies)

Box 1, Folder 82

Gödel-Bernays correspondence (photocopies)

Box 1, Folder 83

Gödel-Herbrand correspondence (JvH's file)

Box 1, Folder 84

Gödel-Ulam correspondence 1956-73 (photocopies)

Box 1, Folder 85

Gödel correspondence with van Heijenoort 1960s (photocopies)

Box 1, Folder 86

Dreben-Gödel correspondence (photocopies)

Box 1, Folder 87

Dreben-Gödel correspondence (photocopies)

Box 1, Folder 88

Gödel-von Neumann correspondence (copies)

Box 1, Folder 89

Integrated TEX files for 1944-1972 items, done in 1985

Box 1, Folder 90

Dreben and van Heijenoort. Notes on Gödel 1929/30, 1985

Box 1, Folder 91

Dreben / van Heijenoort. Notes on Gödel 1929/30, final MS. + TEX

Box 1, Folder 92

van Heijenoort / Dreben. Notes on Gödel 1929/30

Box 1, Folder 93

van Heijenoort. Notes on Gödel 1929/30

Box 1, Folder 94

S. C. Kleene re: 1931, 1934 items, notes and revisions, 1983

Box 1, Folder 95

S. C. Kleene re: 1931, 1934 (Sept. 1983 on)

Box 1, Folder 96

Kleene – notes on 1930b, 1931, 1932b, 1934 - 1983

Box 1, Folder 97

TEX – Kleene notes for 1931

Box 1, Folder 98

Feferman – Introductory note to 1931c, 1985

Box 2, Folder 1

Kleene – 1931 (etc.) Aug.-Nov. 1983

Box 2, Folder 2

Dawson – notes on 1931a etc. 1984

Box 2, Folder 3

Quine – notes on Gödel's short notes 1985

Box 2, Folder 4

Troelstra – note on 1932, 1985

Box 2, Folder 5

Goldfarb – notes on Gödel 1932a, 1933i + revisions, 1983-84

Box 2, Folder 6

Kleene – note on 1932d, 1934e, 1936b, 1985

Box 2, Folder 7

Webb – notes on G's geometry papers, 1933b etc., 1983-85

Box 2, Folder 8

Troelstra – notes on Gödel 1933e, f, 1984-85

Box 2, Folder 9

Royden – notes (?)

Box 2, Folder 10

Kleene – 1934 - TEX

Box 2, Folder 11

Kleene – notes on Gödel 1934, 1983

Box 2, Folder 12

Vaught – notes on Gödel 1934c, 1935, 1984-85

Box 2, Folder 13

Solovay – notes on Gödel 1938, 1939a, 1940, 1983-85

Box 2, Folder 14

Dawson – intro note on 1936

Box 2, Folder 15

Parikh – notes on 1936a, 1983-85

Box 2, Folder 16

Parsons – notes on 1944

Box 2, Folder 17

Parsons – notes on 1946, 1983-85

Box 2, Folder 18

Hawking – notes on Gödel 1949, 1950, 1983-85

Box 2, Folder 19

Stein – notes on Gödel 1949a, 1983-85

Box 2, Folder 20

Translation of 1958, semi-final version

Box 2, Folder 21

Translation of 1958

Box 2, Folder 22

Troelstra – notes for 1958/1972 TEX version

Box 2, Folder 23

Troelstra – notes for 1958/1972 08/84 version

Box 2, Folder 24

Troelstra – notes for 1958/1972

Box 2, Folder 25

Troelstra – notes for 1958

Box 2, Folder 26

Troelstra – notes for 1958/1972 revised

Box 2, Folder 27

Dialectica paper – misc.

Box 2, Folder 28

Gödel chronology

Box 2, Folder 29

Guidelines to authors and original invitations, 1982-83

Box 2, Folder 30

Introductory notes – letters to authors after 1st draft

Box 2, Folder 31

Penultimate letters to authors of notes

Box 2, Folder 32

G. Project invoices 1981/82

Box 2, Folder 33

Gödel Project budgetary 1986-87

Box 2, Folder 34

Gödel Project expenses 1985/86

Box 2, Folder 35

Gödel Project foreign editions

Box 2, Folder 36

Oxford Press contract/agreement 1983

Box 2, Folder 37

Oxford new contract, Vol. II, Vol. III?

Box 2, Folder 38

OUP [Oxford Univ. Press] – publicity, etc., Vol. II, III

Box 2, Folder 39

OUP – publicity, etc., Vol. I

Box 2, Folder 40

Gödel Project – Oxford Press Vol. I

Box 2, Folder 41

Gödel Works Vol. I - reviews

Box 2, Folder 42

Gödel Project Vol I – OUP publicity

Box 2, Folder 43

Gödel Project – legal matters, copyright memo 1983

Box 3, Folder 1

Oxford Press – agreement, correspondence

Box 3, Folder 2

Gödel Project – editorial C.V's

Box 3, Folder 3

Gödel Project – editorial correspondence 1985

Box 3, Folder 4

Estimates of lengths

Box 3, Folder 5

Moore, Gregory – correspondence 1986

Box 3, Folder 6

Title page and cover – experiments

Box 3, Folder 7

Letters on Gödel volume 1986

Box 3, Folder 8

RS [Soloway] file – correspondence

Box 3, Folder 9

Dawson – annotated bibliography, 1981-82

Box 3, Folder 10

TEX – references + Dawson bibliography [only contains the bibliography

Box 3, Folder 11

JvH file [van Heijenoort]

Box 3, Folder 12

JD [Dawson] file

Box 3, Folder 13

Moore on Russell [Moore's paper "Russell's Paradox: A Reappraisal of its Origins" 1985]

Box 3, Folder 14

GM [Moore] file, correspondence and notes from conversations, 1985

Box 3, Folder 15

SCK [Kleene] file, correspondence and notes from conversations, 1984-86

Box 3, Folder 16

GK [Kreisel] – JvH 1984

Box 3, Folder 17

Kreisel – notes on three undated notes (1972a)

Box 3, Folder 18

From Kohler and Schimanovich, 1985-86

Box 3, Folder 19

Finalizing volume 1, summer 1985

Box 3, Folder 20

NSF Proposal – work up

Box 3, Folder 21

NSF Proposal – work up

Box 3, Folder 22

NSF Proposal – assorted

Box 3, Folder 23

NSF – Gödel Project award

Box 3, Folder 24

G. Project funding

Box 3, Folder 25

G. Project – initial funding efforts

Box 3, Folder 26

NSF – proposal addenda work up

Box 3, Folder 27

Editorial Board – C.V.'s

Box 3, Folder 28

NSF Proposal - final

Box 3, Folder 29

TEX – proof reading correspondence, 1984-85

Box 3, Folder 30

Gödel Project Editorial – May/June 1985

Box 3, Folder 31

Gödel Project Editorial – May-December 1984

Box 3, Folder 32

G. Project Ed. Group notes and correspondence Jan.-Feb. 1984

Box 3, Folder 33

G. Project Ed. Group notes and correspondence Sept. 1983-Feb. 1984

Box 3, Folder 34

Gödel Project Princeton meeting 10/11/83

Box 3, Folder 35

Gödel Project Editorial notes and correspondence May-October 1983

Box 3, Folder 36

Gödel Project Editorial notes and correspondence Nov. 1982-July 1983

Box 3, Folder 37

Gödel Project Editorial notes and correspondence Aug.-Dec. 1982

Box 3, Folder 38

Gödel Project Editorial correspondence April-July 1982

Box 3, Folder 39

Gödel Project organizationa letters to Edit. Board 5/12/82

Box 3, Folder 40

Gödel Project Editorial correspondence Jan.-April 1982

Box 3, Folder 41

Gödel Project Pre-organizational correspondence 1978-1981

Box 3, Folder 42

Gödel Project 1982 Format/Styles questions

Box 3, Folder 43

Gödel Project I.A.S. organization meeting (core ed. group) July 1982

Box 3, Folder 44

Gödel Project Editorial notes, correspondence May-Aug. 1982

Box 3, Folder 45

Gödel Project – organizational summer 1982

Box 3, Folder 46

Moore – draft transcription of Gödel's 38-39 lectures

Box 3, Folder 47

Arbeitshefte – Indexes

Box 3, Folder 48

Gödel – Gabelsberger fragment

Box 3, Folder 49

Translations – questions

Box 4, Folder 1

Draft translations

Box 4, Folder 2

Kreisel correspondence [actually contains 2 papers: "Frege's Foundations and Intuitionistic Logic" and "Gödels Ambivalenz zur intuitionistischen Logik"]

Box 4, Folder 3

Princeton Press – copyright negations re 1940

Box 4, Folder 4

Nagayama, Tadashi – correspndence, 1984-85

Box 4, Folder 5

Nagayama – Gabelsberger translation

Box 4, Folder 6

Gödel Project expenses 1982-84

Box 4, Folder 7

Gödel Project expenses

Box 4, Folder 8

Expenses

Box 4, Folder 9

Gödel Project – report to ASL 12/22/83

Box 4, Folder 10

Gödel Project – funding correspondence 1983

Box 4, Folder 11

Expenses, NSF and Sloan grants from 8/20/84

Box 4, Folder 12

Gödel Project Publisher's final responses

Box 4, Folder 13

Gödel Project – letters to publishers

Box 4, Folder 14

Gödel II – references, 1987

Box 4, Folder 15

Dawson – Vol. III issues

Box 4, Folder 16

Volume III general planning and organization

Box 4, Folder 17

Gödel – Konigsberg lecture on completeness plus translation and textual notes

Box 4, Folder 18

*1930?

Box 4, Folder 19

Hahn: Vienna seminar notes (Gödel's contributions) *1931/2

Box 4, Folder 20

*1933?

Box 4, Folder 21

*1933g

Box 4, Folder 22

*1937

Box 4, Folder 23

Vortrag by Zilsel *1938a

Box 4, Folder 24

Vortrag by Zilsel *1938a

Box 4, Folder 25

Notre Dame seminar on logic *1939c

Box 4, Folder 26

*1938c (040181)

Box 4, Folder 27

*1938c (040180)

Box 4, Folder 28

*1938c (040182)

Box 4, Folder 29

*1939d Gottingen Vortrag transcription/translation

Box 4, Folder 30

Gödel Gottingen lecture *1939d

Box 4, Folder 31

*193?a Theorem on Real Functions

Box 4, Folder 32

Some Observations . . theory of relativity. . .Kantian philosophy *1946/9

Box 4, Folder 33

*1949b, *1950

Box 4, Folder 34

*1949b

Box 4, Folder 35

*1950 – ICM lecture "Rotating universes in general relativity theory"

Box 4, Folder 36

Gödel – text of Gibbs Lecture *1950

Box 4, Folder 37

*1953/9 "Is mathematics syntax of language?"

Box 4, Folder 38

*1961/? "The modern development of the foundations of math in the light of philosophy"

Box 4, Folder 39

*1970 Ontologischer Beweis

Box 4, Folder 40

*1970c

Box 4, Folder 41

*1970b Scales of Functions II

Box 4, Folder 42

*1970a

Box 4, Folder 43

*1970? Schemes of ramification

Box 4, Folder 44

Dawson – inventory of G. Nachlass 1984

Box 4, Folder 45

Books and Journals in Gödel's Nachlass 1984

Box 4, Folder 46

Microfilm copies of Gödel's Nachlass papers

Box 4, Folder 47

Headings in "Logic and Foundations" from the Arbeitshefte

Box 5, Folder 1

Gödel – transcription from the Arbeitshefte

Box 5, Folder 2

Herbrand transcripts

Box 5, Folder 3

Max-Phil notebook transcriptions

Box 5, Folder 4

Other shorthand transcriptions

Box 5, Folder 5

Addenda and Corrigenda – Gödel Works Vol. I

Box 5, Folder 6

Gödel – independent AC (?) notes

Box 5, Folder 7

B. J. Lucas re Gödel/Parry, 1989

Box 5, Folder 8

Prefatory material Vol. II

Box 5, Folder 9

Permissions statement Vol. II

Box 5, Folder 10

Volume II proof reading correspondence 1987-88

Box 5, Folder 11

Moore material 5/20/88 and vol. II proof reading

Box 5, Folder 12

Final corrections to IN [introductory notes] 38, 39, 39a, 40

Box 5, Folder 13

Solovay – IN to 1938-40 (TEX)

Box 5, Folder 14

Solovay – Introd. Note to 1938-1940

Box 5, Folder 15

Solovay – Introd. Note extra copies

Box 5, Folder 16

Solovay 1938 [re his introductory note to], 1985

Box 5, Folder 17

Final corrections to IN 44

Box 5, Folder 18

Parsons – notes on 1944, 1983-85

Box 5, Folder 19

Parsons – changes in note for 1944

Box 5, Folder 20

Parsons – note on 1944

Box 5, Folder 21

Gödel 1944 Emendations (prep. by JvH)

Box 5, Folder 22

Final corrections to IN 46

Box 5, Folder 23

Final corrections to IN 47, 64

Box 5, Folder 24

Correspondence re IN 47, 64

Box 5, Folder 25

Moore – Introductory note to Gödel 1947

Box 5, Folder 26

Final corrections to Gödel 1947

Box 5, Folder 27

Final corrections to IN 49, 52

Box 5, Folder 28

Final corrections to IN 49a

Box 5, Folder 29

Final corrections to 1952

Box 5, Folder 30

Final corrections to IN 58, 72

Box 5, Folder 31

Final corrections to 1962

Box 5, Folder 32

Final corrections to 1964

Box 5, Folder 33

Final corrections to 1972

Box 5, Folder 34

Final corrections to IN 72a

Box 5, Folder 35

Introductory notes to 1972a.1,2

Box 5, Folder 36

Introductory note 1972a.2 (Feferman and Solovay)

Box 5, Folder 37

1972a Notes 1, 2 (Kreisel's version)

Box 5, Folder 38

Webb – introductory note to Gödel 1972a #3

Box 5, Folder 39

Webb – note on 1972a (3)

Box 5, Folder 40

Final corrections to 1972a

Box 5, Folder 41

Fenstad – notes on Gödel 1974

Box 5, Folder 42

Final corrections to IN 74

Box 5, Folder 43

Final corrections to 1974

Box 5, Folder 44

New References, 1987

Box 5, Folder 45

Corrections to the references Vol. II, 1987

Box 5, Folder 46

Herbrand – Chevalley [photocopies of original documents]

Box 5, Folder 47

Herbrand – Chevalley 3 Dec. 1930 [photocopies of original documents]

Box 5, Folder 48

Herbrand, Noether – Chevalley 12 Dec. 1931 [photocopy of original document]

Box 5, Folder 49

Herbrand correspondence [photocopies of original documents]

Box 5, Folder 50

Herbrand general [photocopies of original documents]

Box 5, Folder 51

Herbrand – Groupe Herbrand [photocopies of original documents]

Box 5, Folder 52

Herbrand references

Box 5, Folder 53

Notes accompanying "L'oeuvre logique de Jacques Herbrand…" 1981 (JvH)

Box 5, Folder 54

Kreisel – JvH correspondence 1986

Box 6, Folder 1

Gödel Works Vol. III Planning meeting, Phila. March 1988

Box 6, Folder 2

Miscellaneous correspondence

Box 6, Folder 3

Oxford Press projects

Box 6, Folder 4

Gödel Nachlass Inventory – TEX, vol. III

Box 6, Folder 5

TEX samples – shorthand/longhand

Box 6, Folder 6

[To file: photocopy of Gödel item (04038) and correspondence of S. Kleene 1988]

Box 6, Folder 7

Gödel project – current

Box 6, Folder 8

Gödel Project editorial meeting, March 1988

Box 6, Folder 9

Items from Gödel Nachlass (copies)

Box 6, Folder 10

Gödel Project material from Zurich, Winter 1987

Box 6, Folder 11

[To file: copy of Gödel 1958 and correspondence of Dirk Siefkes

Box 6, Folder 12

Gödel refile

Box 6, Folder 13

Solomon Feferman – Gödel Project – Things to do

Box 6, Folder 14

Gödel Project – editorial correspondence, work, 1986

Box 6, Folder 15

Finalizing Vol. II – memo to eds, 1986

Box 6, Folder 16

Gödel Works Vol. II – finalizing material from JD

Box 6, Folder 17

Proposed translation of the Gödel Volume [to Italian], 1986

Box 6, Folder 18

Gödel group meeting, Jan. 1985

Box 6, Folder 19

Working agenda July 1986

Box 6, Folder 20

[Review of Volume I, 1987]

Box 6

Assorted printouts and copies of final text and/or material for volumes

Box 6, Folder 21

List of appendices, cover sheet for Appendix A, Contents V. II

Box 6, Folder 22

Appendix B: Reviews

Box 6, Folder 23

Appendix C: CV's

Box 6, Folder 24

Appendix D1 and D2

Box 6, Folder 25

Appendices E, F, and G

Box 6, Folder 26

*1946/9 Kant/Relativity Man. A

Box 6, Folder 27

*1946/9 Kant/Relativity Man. B

Box 6, Folder 28

*1946/9 Kant/Relativity Man. C

Box 6, Folder 29

Appendix H and cover sheets for I

Box 6, Folder 30

Appendix J, K and L

Box 6

Printouts of text

Box 6, Folder 31

ASL/NSF Audit Response Gödel Project May 27, 1992

Box 6, Folder 32

ASL/NSF Audit Materials May 13, 1992

Box 6, Folder 33

Gödel Project Budgets 1984-

Box 6, Folder 34

Materials from Henson

Box 6, Folder 35

NSF – Gödel Project audit

Box 6, Folder 36

Materials from CD [assorted reports, minutes, assignments, etc.]

Box 7, Folder 13

Gödel – Tarski correspondence(photocopies and typescript copies)

Box 7, Folder 14

G. Kreisel [published versions of Gödel's letters to]

Box 7, Folder 15

Dawson "A meeting of minds: the Gödel editorial project"

Box 7, Folder 16

G. K. reviews of K. G. Works II

Box 7, Folder 17

Heading lists [of Gödel's notebooks]

Box 7, Folder 18

Gödel Works, contract for Volume III and IV

Box 7, Folder 19

Memo re TEX fonts

 

Files of van Heijenoort:

Box 7

Notebook "Gödel" [very few entries]

Box 7, Folder 20

Gödel: photocopies of original papers

Box 7, Folder 21

Partial folder list

Box 7, Folder 22

Originals [actually contains photocopies of articles]

Box 7, Folder 23

Textual notes

Box 7, Folder 24

Reviews, computer text July 8, 1982

Box 7, Folder 25

Bauer-Mengelberg corrections to JWD translations

Box 7, Folder 26

Proofreading corrections by JvH of Dawson translations

Box 7, Folder 27

Nevarietur

Box 7, Folder 28

IN 1929 and 1930 – correspondence, 1983-85

Box 7, Folder 29

IN 1929 and 1930 – final draft

Box 7, Folder 30

IN 1929 and 1930 – general

Box 7, Folder 31

IN 1929 and 1930 – materials

Box 7, Folder 32

IN 1929 and 1930 – material

Box 7, Folder 33

IN 1929 and 1930 – remarks by Dawson

Box 7, Folder 34

IN 1929 and 1930 – Dreben's notes of October 15, 1983

Box 7, Folder 35

IN 1929 and 1930 – SF's remark on draft of May 25, 1983

Box 7, Folder 36

IN 1929 and 1930 – remarks by Feferman

Box 7, Folder 37

IN 1929 and 1930 – July 10, 1984 draft, SF's remarks

Box 7, Folder 38

IN 1929 and 1930 – remarks by Kleene and Moore

Box 7, Folder 39

1929 Vienna University text

Box 7, Folder 40

1929 Princeton text

Box 7, Folder 41

van Heijenoort, Differences between the Vienna and Princeton texts, 1982

Box 7, Folder 42

van Heijenoort, Remarks on the variora…, 1982

Box 7, Folder 43

Gödel dissertation, computer text May 1982

Box 7, Folder 44

Gödel dissertation, corrections by JvH to computer text of May 1982

Box 7, Folder 45

van Heijenoort, Remarks on the computer text of Gödel's dissertation, Aug. 1982

Box 7, Folder 46

1929: TEXscript

Box 7, Folder 47

Gödel dissertation, translation, miscellaneous notes

Box 7, Folder 48

1930: original German

Box 7, Folder 49

1940g: original

Box 7, Folder 50

1930: TEXscript

Box 7, Folder 51

1930e: FFTG

Box 7, Folder 52

Work on completeness (1930a)

Box 7, Folder 53

1931 Notes - Kleene

Box 7, Folder 54

1931 Notes

Box 7, Folder 55

1931g Original

Box 7, Folder 56

1931 reprint annotated by KG

Box 7, Folder 57

1931

Box 7, Folder 58

1932a draft translation by Dawson

 

Files of van Heijenoort, continued:

Box 8, Folder 1

G 1933e

Box 8, Folder 2

G 1934

Box 8, Folder 3

G 1938 IN

Box 8, Folder 4

G 1938

Box 8, Folder 5

G 1939

Box 8, Folder 6

G 1939a

Box 8, Folder 7

G 1940

Box 8, Folder 8

G 1944 – 5/5/85

Box 8, Folder 9

G 1944 IN

Box 8, Folder 10

G 1944

Box 8, Folder 11

G 1944

Box 8, Folder 12

G 1944 annotations

Box 8, Folder 13

G 1946

Box 8, Folder 14

G 1946

Box 8, Folder 15

G 1947

Box 8, Folder 16

G 1947

Box 8, Folder 17

G 1949

Box 8, Folder 18

G 1949a

Box 8, Folder 19

G 1952

Box 8, Folder 20

G 1958 Dilectica original [photocopy]

Box 8, Folder 21

G 1958 IN

Box 8, Folder 22

G 1958 notes

Box 8, Folder 23

G 1958 Goldfarb translation

Box 8, Folder 24

G 1958 old

Box 8, Folder 25

G 1958 Draft (rought) by JvH July 27, 1983

Box 8, Folder 26

G 1958 Draft by JvH July 27, 1983

Box 8, Folder 27

G 1958 Translation by SBM-JvH, draft of Sept. 18, 1983

Box 8, Folder 28

G 1958 – I

Box 8, Folder 29

G 1958 – II

Box 8, Folder 30

G 1958 English translation by SBM-JvH, draft

Box 8, Folder 31

G 1958 Dawson's remarks on SBM-JvH translation

Box 8, Folder 32

G 1958 SF's remarks on SBM-JvH translation

Box 8, Folder 33

G 1958 Draft of English translation by SBM and JvH June 1984

Box 8, Folder 34

G 1958 Translation revised by SBM and JvH June 1984

Box 8, Folder 35

G 1958 latest work

Box 8, Folder 36

G 1958e Printout of 8/27/84 – SBM's remarks

Box 8, Folder 37

G 1958e Printout of 8/27/84 – SF's remarks

Box 8, Folder 38

G 1958e Proofread by JvH on Jan.9, 1986

Box 8, Folder 39

G 1958 English translation – remarks

Box 8, Folder 40

G 1958 G Proofread by JvH on Jan. 9, 1986

Box 8, Folder 41

G 1964

Box 8, Folder 42

G 1964

Box 8, Folder 43

G 1965

Box 8, Folder 44

G 1972

Box 8, Folder 45

G 1972a

Box 8, Folder 46

G 1972a IN draft by Kreisel

Box 8, Folder 47

G 1972a IN – Webb

Box 8, Folder 48

G 1974 IN – Fenstad

Box 8, Folder 49

G copyrights

Box 8, Folder 50

G contract

Box 8, Folder 51

G Bauer – Mengelbert (things to be taken up with)

Box 8, Folder 52

G Correspondence with Herbrand IN

Box 8, Folder 53

Very current (in progress at time of death)

Box 8, Folder 54

G editing

Box 8, Folder 55

G Volume I misprints

Box 8, Folder 56

G Contents II

Box 8, Folder 57

G Bernays correspondence (Zurich): listings

Box 8, Folder 58

G non-current (misc. memoranda, mostly re Volume I)

Box 8, Folder 59

G Volume 3

Box 8, Folder 60

G * 1930c Konigsberg lecture on incompleteness

Box 8, Folder 61

G * 1930c Konigsberg lecture on incompleteness

Box 8, Folder 62

G Herbrand Bericht

Box 8, Folder 63

G * 1938c Williamsberg

 

Files of van Heijenoort, continued, and files of S. Feferman:

Box 9, Folder 1

G *1939b N.D. GCH I-IV

Box 9, Folder 2

G *1939b continued

Box 9, Folder 3

G Notes on Herbrand

Box 9, Folder 4

G 1950

Box 9, Folder 5

Arbetishefte / Results on Foundations: indices and heading lists

Box 9, Folder 6

G Arbetishefte notes

Box 9, Folder 7

G Arbetishefte notes

Box 9, Folder 8

G Arbetishefte Max-Phil (Takenti)

Box 9, Folder 9

G Material sent by Dawson, August 13, 1982 (German translation of Einstein paper, Steinitz's theorem, rotating universes)

Box 9, Folder 10

G Material sent by Dawson, August 17, 1982 (B&P 3rd ed., Boron's Dialectica translation, Gibbs, 1933 AMS lecture, Kant-Einstein, NYPS-1934)

Box 9, Folder 11

G Kant / relativity theory drafts (some observations)

Box 9, Folder 12

G Some observations…Version A

Box 9, Folder 13

G Some observations…Version B

Box 9, Folder 14

G Some observations…Version C

Box 9, Folder 15

G Is mathematics syntax of language?

Box 9, Folder 16

G Is mathematics syntax of language?

Box 9, Folder 17

G Is mathematics syntax of language?

Box 9, Folder 18

G Some considerations…

Box 9, Folder 19

Modern developments in foundations…(transcript from Gabelsberger)

Box 9, Folder 20

Cohen – Gödel correspondence

Box 9, Folder 21

G's revised translation of 1958 (1972)

Box 9, Folder 22

Gödel Project action '94

Box 9, Folder 23

Gödel Works IV – general planning and issues

Box 9, Folder 24

Gödel Project – Cambridge editorial meeting March 1993

Box 9, Folder 25

Gödel – Bem. Phil. Math.

Box 9, Folder 26

Gödel – excerpts from the Max-Phil notebooks

Box 9, Folder 27

Gödel Project – active 1992

Box 9, Folder 28

Gödel IV-V jacket material

Box 9, Folder 29

Gödel Project – recent 1989-90

Box 9, Folder 30

Gödel Project – grant ext. plans 1992-94

Box 9, Folder 31

Gödel Project – appearance of Vol. III

Box 9, Folder 32

Minutes of Gödel Editorial Board Jan. 1991

Box 9, Folder 33

Gödel Editorial Board meeting / work assignments Jan. 1989

Box 9, Folder 34

R. Thomas / R. Tieszn *1961 flap

Box 9, Folder 35

Gödel Project action 1990-91

Box 9, Folder 36

Gödel Nachlass overview/inventory for Vol. III

Box 9, Folder 37

Arbeitshefte: index and headings

Box 9, Folder 38

Nagayama – Gödel Project work

Box 9, Folder 39

E. Kohler – correspondence 1990-91

Box 9, Folder 40

Nagayama – Gabelsberger transcription

Box 9, Folder 41

What Have We Learned from the Gödel Project? [Feferman's] talk in Stockholm Sept. 1, 1989

Box 9, Folder 42

Gödel Project – editorial correspondence, 1988

Box 9, Folder 43

Baaz – letter to Dawson, Dec. 19, 1982

Box 9, Folder 44

G Bauer-Mengelberg to S. Feferman (Copyright memo) 1983

Box 9, Folder 45

G Bauer-Mengelberg to Feferman 1984

Box 9, Folder 46

G Brown to JWD

Box 9, Folder 47

Bauer-Mengelberg letter to Gödel, Feb. 21, 1964

Box 9, Folder 48

Bauer-Mengelberg to JvH, 1982-86

Box 9, Folder 49

Church letter to Kleene, Nov. 29, 1935

Box 9, Folder 50

G Dawson to SBM (Stefan Bauer-Mengelberg)

Box 9, Folder 51

G Dawson to JvH, 1982-86

Box 9, Folder 52

G Dawson to Editors, 1982-86

Box 9, Folder 53

Taussky-Todd, "Remembrance of Kurt Gödel," Engineering & Science, Winter 1988

Box 9, Folder 54

Anellis, Irving H. "Jean van Heijenoort, his life and his contributions to logic" – typescript, ca. 1985

 

Files of van Heijenoort, continued, and files of S. Feferman:

Box 10, Folder 1

Dawson to SF 1982-85

Box 10, Folder 2

Dawson to SK 1983

Box 10, Folder 3

Dreben-Gödel correspondence 1966-70

Box 10, Folder 4

Dreben-Gödel correspondence; copies of batch given by B. D, to JvH on Oct. 15, 1983

Box 10, Folder 5

Feferman to Dreben 1985

Box 10, Folder 6

Feferman to Kleene

Box 10, Folder 7

Feferman to Kreisel

Box 10, Folder 8

Feferman to Troelstra

Box 10, Folder 9

Feferman to editors

Box 10, Folder 10

Feferman to JvH

Box 10, Folder 11

Feferman to various

Box 10, Folder 12

Feferman correspondence on behalf of Gödel Project 1982-85

Box 10, Folder 13

Gödel letter to Balas [transcript] 1970

Box 10, Folder 14

Bernays 1942

Box 10, Folder 15

Bernays 1976

Box 10, Folder 16

Bernays, "Sur le platonisme…"

Box 10, Folder 17

Bernays, "Quelques points essentials…"

Box 10, Folder 18

Bernays, "Mathematische existenz…"

Box 10, Folder 19

Gödel letter to Brutian, Dec. 10, 1969

Box 10, Folder 20

Gödel/Buchi correspondence

Box 10, Folder 21

Gödel letter to Burks [published version]

Box 10, Folder 22

Gödel correspondence with Davis

Box 10, Folder 23

Finsler/Gödel correspondence

Box 10, Folder 24

Gödel responses to Grandjean

Box 10, Folder 25

Gödel correspondence with Kleene

Box 10, Folder 26

Gödel correspondence with Quine

Box 10, Folder 27

Gödel letter to Reid, March 22, 1966

Box 10, Folder 28

Gödel letter to Schilpp, Feb. 3, 1959

Box 10, Folder 29

Henson to van Heijenoort

Box 10, Folder 30

Kleene to editors

Box 10, Folder 31

Kleene to SF

Box 10, Folder 32

Kleene to JvH

Box 10, Folder 33

Kleene to JvH Oct. 30, 1983

Box 10, Folder 34

Kurepa to JvH

Box 10, Folder 35

Marcus to SF

Box 10, Folder 36

Moore to editors

Box 10, Folder 37

Moore to JvH 1982-84

Box 10, Folder 38

Moore to JvH 1985-86

Box 10, Folder 39

Moore to various

Box 10, Folder 40

Quine to van Heijenoort

Box 10, Folder 41

SK to SF, GM, JvH March 28, 1985

Box 10, Folder 42

JvH / Kleene – controversy on underlining

Box 10, Folder 43

van Heijenoort to JWD

Box 10, Folder 44

van Heijenoort to SBM

Box 10, Folder 45

van Heijenoort to editors

Box 10, Folder 46

van Heijenoort to BD

Box 10, Folder 47

van Heijenoort to Goldfarb

Box 10, Folder 48

van Heijenoort to SK

Box 10, Folder 49

van Heijenoort correspondence with Lauener

Box 10, Folder 50

van Heijenoort to GM 1982-84

Box 10, Folder 51

van Heijenoort to Moore 1985

Box 10, Folder 52

van Heijenoort to Webb

Box 10, Folder 53

van Heijenoort to SF

Box 10, Folder 54

van Heijenoort correspondence on behalf of Gödel Project

Box 10, Folder 55

Wang to SF

Box 10, Folder 56

Webb letter to van Heijenoort Nov. 13, 1983

Box 10, Folder 57

Weyhrauch, Yasuko to editors

Box 10, Folder 58

Gödel – Hao Wang correspondence

Box 10, Folder 59

Gödel – Bernays correspondence 1939-59

Box 10, Folder 60

Gödel – Bernays correspondence 1960-63

Box 10, Folder 61

Gödel – Bernays correspondence 1965-75

Box 10, Folder 62

Gödel, "Some considerations leading…"

Box 10, Folder 63

Gabelsberger

Box 10, Folder 64

Trial translations from Gabelsberger

Box 10, Folder 65

Gabelsberger from Max X

Box 10, Folder 66

Materials sent as appendices to NSF proposal (1)

Box 10, Folder 67

Materials sent as appendices to NSF proposal (2)

Box 10, Folder 68

Index miscellany

Box 10, Folder 69

Gödel lecture on completeness May 14, 1930 (?)

Box 10, Folder 70

Transcriptions from Gabelsberger

Box 10, Folder 71

Transcriptions from Gabelsberger – Phil-Max

Box 10, Folder 72

Transcriptions from Gabelsberger – "Results on Founcations"

Box 10, Folder 73

Dawson, "The Papers of Kurt Gödel an Inventory" July 1984

Box 10, Folder 74

Assorted photocopies

Box 10, Folder 75

Translations of AC index

Box 10, Folder 76

Papers from the Nachlass

Box 10, Folder 77

Photocopy of notebook [original manuscript, in English]

Box 11, Folder 1

Logic lectures, 0, n.d.

Box 11, Folder 2

Logic lectures, I, n.d.

Box 11, Folder 3

Logic lectures, II, n.d.

Box 11, Folder 4

Logic lectures, III, n.d.

Box 11, Folder 5

Logic lectures, IV, n.d.

Box 11, Folder 6

Logic lectures, V, n.d.

Box 11, Folder 7

Logic lectures, VI, n.d.

Box 11, Folder 8

Logic lectures, VII, n.d.

Box 11, Folder 9

Continuum lectures, I, n.d.

Box 11, Folder 10

Continuum lectures, II, n.d.

Box 11, Folder 11

Continuum lectures, III, n.d.

Box 11, Folder 12

Continuum lectures, IV, n.d.

Box 11, Folder 13

Continuum lectures, V, n.d.

Box 11, Folder 14

Sources, photocopies, misc.

Box 11, Folder 15

Book cover layouts

 

Records Accession ARCH-2008-054

Box 1, Folder 1

Front matter, Vol. IV

Box 1, Folder 2

Photo information

Box 1, Folder 3

Angoff

Box 1, Folder 4

Balas

Box 1, Folder 5

Behmann – correspondence with editors, 1994-2000

Box 1, Folder 6

Behmann – introductory note

Box 1, Folder 7

Behmann – typescripts and TeXscripts

Box 1, Folder 8

Behmann – photocopies of original letters

Box 1, Folder 9

Behmann – translation

Box 1, Folder 10

Behmann – transcriptions, text and correspondence re

Box 1, Folder 11

Behmann – references

Box 1, Folder 12

Bernays – correspondence information

Box 1, Folder 13

Bernays – introductory note

Box 1, Folder 14

Bernays – current text

Box 2, Folder 1

Bernays – TeXscripts (1 of 2)

Box 2, Folder 2

Bernays – TeXscripts (2 of 2)

Box 2, Folder 3

Bernays – TeXscripts

Box 2, Folder 4

Bernays – TeXscript 10/00

Box 2, Folder 5

Bernays – TeXscript 12/98

Box 2, Folder 6

Bernays – TeXscript 4/94

Box 2, Folder 7

Bernays – TeXscript 9/93

Box 2, Folder 8

Bernays – edited typescripts

Box 3, Folder 1

Bernays – photocopies of original correspondence, 1930-42

Box 3, Folder 2

Bernays – photocopies of original correspondence, 1956-61

Box 3, Folder 3

Bernays – photocopies of original correspondence, 1962-65

Box 3, Folder 4

Bernays – photocopies of original correspondence, 1966-70

Box 3, Folder 5

Bernays – photocopies of original correspondence, 1971-75

Box 3, Folder 6

Bernays – translations, TeXscripts

Box 3, Folder 7

Bernays – translations, typescripts

Box 3, Folder 8

Bernays correspondence, textual notes

Box 3, Folder 9

Bernays – references

Box 3, Folder 10

Blackwell

Box 3, Folder 11

Bohnert

Box 3, Folder 12

Boone

Box 3, Folder 13

Boone – references

Box 4, Folder 1

Brutian

Box 4, Folder 2

Büchi

Box 4, Folder 3

Carnap

Box 4, Folder 4

Carnap - TeXscripts

Box 4, Folder 5

Church – typescripts, TeXscripts

Box 4, Folder 6

Cohen

Box 4, Folder 7

Dreben

Box 4, Folder 8

Feigl – typescripts, TeXscripts

Box 4, Folder 9

Feigl – photocopies of original correspondence

Box 4, Folder 10

Finsler

Box 4, Folder 11

Follett

Box 5, Folder 1

Goddard

Box 5, Folder 2

Gödel to Marianne Gödel – introductory note

Box 5, Folder 3

Gödel to Marianne Gödel – TeXscripts

Box 5, Folder 4

Gödel to Marianne Gödel – translations

Box 5, Folder 5

Grandjean

Box 5, Folder 6

Greenberg

Box 5, Folder 7

Günther – correspondence of editors

Box 5, Folder 8

Günther – introductory note

Box 5, Folder 9

Günther – TeXscripts (1 of 2)

Box 5, Folder 10

Günther – TeXscripts (2 of 2)

Box 5, Folder 11

Günther – typescripts

Box 5, Folder 12

Günther – translation

Box 6, Folder 1

Günther – photocopies of original correspondence

Box 6, Folder 2

Correspondence of Henkin with Russell and Church re Gödel's work

Box 6, Folder 3

Henkin

Box 6, Folder 4

Herbrand – introductory note

Box 6, Folder 5

Herbrand – TeXscripts

Box 6, Folder 6

Herbrand – translations

Box 6, Folder 7

Heyting – introductory note and correspondence of editors

Box 6, Folder 8

Heyting – TeX (1 of 3)

Box 6, Folder 9

Heyting – TeX (2 of 3)

Box 6, Folder 10

Heyting – TeX (3 of 3)

Box 6, Folder 11

Heyting – typescripts

Box 6, Folder 12

Heyting – photocopies of original correspondence

Box 6, Folder 13

Heyting – translations

Box 6, Folder 14

Heyting – references

Box 7, Folder 1

Honderich

Box 7, Folder 2

Hwastecki

Box 7, Folder 3

Menger – TeXscripts (1 of 2)

Box 7, Folder 4

Menger – TeXscripts (2 of 2)

Box 7, Folder 5

Menger – photocopies of original correspondence from IAS

Box 7, Folder 6

Menger – photocopies of original correspondence from IIT

Box 7, Folder 7

Menger – translations

Box 7, Folder 8

Nagel – introductory note and correspondence of editors

Box 7, Folder 9

Nagel

Box 7, Folder 10

Perlis

Box 7, Folder 11

Pitts

Box 7, Folder 12

Plumer

Box 7, Folder 13

Popper

Box 7, Folder 14

Post

Box 8, Folder 1

Rappaport

Box 8, Folder 2

Rautenberg

Box 8, Folder 3

Reid

Box 8, Folder 4

Robinson – introductory note

Box 8, Folder 5

Robinson – TeXscripts and photocopies of original correspondence

Box 8, Folder 6

Robinson – photocopies of original correspondence from Yale

Box 8, Folder 7

Russell

Box 8, Folder 8

Sawyer

Box 8, Folder 9

Schilpp – introductory note

Box 8, Folder 10

Schilpp – TeXscripts (1 of 2)

Box 8, Folder 11

Schilpp – TeXscripts (2 of 2)

Box 8, Folder 12

Schilpp – photocopies of original correspondence

Box 8, Folder 13

Schilpp – photocopies of original correspondence from SIU

Box 8, Folder 14

Seelig

Box 8, Folder 15

Skolem

Box 8, Folder 16

Suppes

Box 9, Folder 1

Tarski – TeX

Box 9, Folder 2

Tarski – photocopies of original correspondence

Box 9, Folder 3

Thirring

Box 9, Folder 4

Ulam – correspondence of editors

Box 9, Folder 5

Ulam

Box 9, Folder 6

van Heijenoort – TeXscripts

Box 9, Folder 7

van Heijenoort – photocopies of original correspondence

Box 9, Folder 8

von Neumann – introductory note

Box 9, Folder 9

von Neumann – TeXscripts (1 of 2)

Box 9, Folder 10

von Neumann – TeXscripts (2 of 2)

Box 10, Folder 1

von Neumann – typescripts

Box 10, Folder 2

von Neumann – translations

Box 10, Folder 3

von Neumann – photocopies of original correspondence

Box 10, Folder 4

Wang – correspondence of editors

Box 10, Folder 5

Wang – introductory note

Box 10, Folder 6

Wang – TeXscripts (1 of 2)

Box 10, Folder 7

Wang – TeXscripts (2 of 2)

Box 10, Folder 8

Wang – photocopies of original correspondence 1948-72

Box 10, Folder 9

Wang – photocopies of original correspondence 1972-75

Box 10, Folder 10

Wang – photocopies of original correspondence 1976-78

Box 10, Folder 11

Wang – references and Appendix B

Box 10, Folder 12

Zermelo

Box 11, Folder 1

Calendars of correspondence

Box 11, Folder 2

Proofreading inventory of Nachlass [finding aid to Gödel papers at Princeton]

Box 11, Folder 3

Appendix A – TeXscript

Box 11, Folder 4

Scott, Appendix A – photocopies of original correspondence

Box 11, Folder 5

Appendix B - TeXscript

Box 11, Folder 6

Textual notes - TeXscript

Box 11, Folder 7

Addenda and corrigenda

Box 11, Folder 8

References – correspondence of editors

Box 11, Folder 9

References – TeXscript (1 of 2)

Box 11, Folder 10

References – TeXscript (2 of 2)

Box 11, Folder 11

References – additional material

Box 11, Folder 12

References, Vol. IV, 1/31/02

Box 11, Folder 13

References, Vol. IV, TeXscripts (1 of 2)

Box 11, Folder 14

References, Vol. IV, TeXscripts (2 of 2)

Box 12, Folder 1

Reference searching

Box 12, Folder 2

Editorial principles

Box 12, Folder 3

Headings list to Gödel's notebooks and record of transcriptions

Box 12, Folder 4

Reports

Box 12, Folder 5

Reports

Box 12, Folder 6

Reviews

Box 12, Folder 7

Lists for microfilming book annotations

Box 12, Folder 8

Preservation Resources

Box 12, Folder 9

Microfilming correspondence, 1996-97

Box 12, Folder 10

Microfilming correspondence and other records, 1989-95

Box 12, Folder 11

Permission letter for photocopying from Gödel's Nachlass 1997

Box 12, Folder 12

Correspondence re microfilm publication

Box 12, Folder 13

Final version of finding aid to Gödel's papers at Princeton

Box 12, Folder 14

Microfilming correspondence, 1998

Box 12, Folder 15

Microfilming correspondence, 1997

Box 13, Folder 1

Committee correspondence (1 of 2) 1996

Box 13, Folder 2

Committee correspondence (2 of 2) 1995-96

Box 13, Folder 3

Firestone Library correspondence, 1985-89

Box 13, Folder 4

Meeting minutes, 1988-2000

Box 13, Folder 5

Volume III, general correspondence, 1994-97

Box 13, Folder 6

Volume III, general correspondence, 1993

Box 13, Folder 7

Volume III, general correspondence, 1987-93

Box 13, Folder 8

Volume IV, general correspondence, 1993-2001

Box 14, Folder 1

Vol. IV, index – corrected text

Box 14, Folder 2

Vol. IV, corrections to first unified copy, preface to p. 345

Box 14, Folder 3

Vol. IV, corrections to first unified copy, p. 346-end

Box 14, Folder 4

Vol. IV, final batch of corrections, to p. 256

Box 14, Folder 5

Vol. IV, final batch of corrections, p. 257-564

Box 14, Folder 6

Vol. IV, final batch of corrections, references and addenda

Box 14, Folder 7

Vol. IV-V, CD of complete computer files

Box 14, Folder 8

Vol. IV final copy [in box]

Box 14, Folder 9

Vol. IV final copy [in box]

Box 15, Folder 1

Vol. V – corrections to first combined version, preface-p. 251

Box 15, Folder 2

Vol. V – corrections to first combined version, p. 255-end

Box 15, Folder 3

Vol. V – final corrections (1 of 2)

Box 15, Folder 4

Vol. V – final corrections (2 of 2)

Box 15, Folder 5

Vol. V – final corrections 12/1/02 (1 of 2)

Box 15, Folder 6

Vol. V – final corrections 12/1/02 (2 of 2)