Guide to the Georg Kreisel Papers SC0136
Note
Biographical/Historical Sketch
Subjects and Indexing Terms
Correspondence SERIES 1
A- misc.
Apt, Krystof R. – [Polish Institute for Mathematics]
B – misc.
Barendregt, H.
Barendregt, H.
Barwise, Jon
Barwise, Jon
Barwise, Jon
Beeson, Michael
Beeson, Michael
Berlin, Isaiah
Bernays, Paul
Bernays, Paul
Bernays, Paul
Bishop, Erret
Block
Boffa, M.
Browder, Felix E.
Bullard, Sir Edward
C – misc.
Cassels, J. W. S.
Cagnoni, D.
Cellucci, Carlo
Church, Alonzo
Cleave, John P.
Cohen, Paul
Cordeschi
Crick, Francis and Odile
D – misc.
DeHorney
de Jongh, Richard
Derrick
Dreben, Burton
Duchin, Peter
E – misc.
Eggenberger
Erdos, R.
Engeler, Erwin
Ershov, Y.L.
F – misc.
Feferman, Sol
Felscher, Walter
Fenstad, Erik
Franzen, T.
Friedman, Harvey
Friedman, Harvey
G – misc.
Gabbay, Dov M.
Gandy, Ro. O.
Geach, Peter
Gerber, Harvey
Grandy, Richard E.
Girard, J-Y
Girard, J-Y
Glass, A. M. W.
Godemont
Gondard
Goodman, Nicholas
Graham, R. L.
Grilliot, T.
Guaspari, David
Guillaume
H – misc.
Hajek, P.; Hanf, W. P.
Halmos
Halpern, J. D.
Harrington, L.
Heyting, A.
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Hubner
Hyland, M.
I, J. – misc.
Jack, T.
Jacobson, Nathan
Jeroslow, Robert G.
Jeroslow, Robert G.
Jockusch, Carl
Jockusch, Carl
Joel
Jung, Joachin
K – misc.
Karp, Carol
Keisler, J. H.
Kripke, S.
Kleene, S. C.
L – misc.
Lachlan, Alistair
Lacombe, D.
Leivant, Daniel
Lerman, M.
Lerner, Manny
Levy Azriel
Lieberherr, Karl
Lifschitz (Volodya)
Littlewood
Lob, M. H.
Lopez-Escobar, E. G. K.
Lopez-Escobar, E. G. K.
Lorenzen, P. – Festschrift
Lowe, William L.
Luckhardt, Horst
M – misc.
MacIntyre
Maclane, S.
"Madmen" – Guberman
Magari, Roberto
Makowsky, J. A.
Marek, W. [Polish Institute of Mathematics]
Martin-Lof, P.
Martin-Lof, P.
Mathematical Review
Mints, G. E.
Mints, G. E.
Mints, G. E.
Monk, L.
Muller, G. H.
Murdoch, Iris
Mycielski, Jan
Myhill, John
Nelson, Edward
Nerode, Anil
0 – misc.
P – misc.
Pappinghaus, P.
Parikh, R.
Parsons, Charles
Platek, R.
Porte, Jean
Pohler, W.
Posy, Carl
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Putnam, Hilary
Queneau, R.
R – misc.
Rabin, M.
Radu, E.
Rautenberg, Wolfgang
Ressayre, J. P.
Richardson, Daniel
Reinhardt
Robinson, Abraham
Robinson, Julia
Rogers, H.
Royal Society – Brouwer obituary
Royal Society – correspondence
Russell, Bertrand
S – misc.
Saarinen
Sabbagh, G.
Sabbagh, G.
Sacks, G.
Sacks, G.
Sacks, G.
Sacks, G.
Sacks, G.
Sanchis, Luis Elpidio
Scarpellini, Bruno
Schaeffer
Schutte, Kurt
Schutte – Festschrift
Schwichtenberg, Helmut
Scott, Dana
Scott, Dana
Scott, Dana
Serre
Shepherdson, J. C.
Shockley, Wm.
Shoenfield, J. R.
Shore, Richard A.
Simpson, S. G.
Slisenko, Anatole
Smorynski, Craig
Smorynski, Craig
Smorynski, Craig
Soare, Robert
Solovay, Robert M.
Spector, Clifford
Statman, Richard
Statman, Richard
Statman, Richard
Stavi, Jonathan
Steel, John
Stegmuller, W.
Suppes, Patrick
Surma
Swart, H. de
T – misc.
Tait, Ww.
Tait, W. W.
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Thom, M. Rene
Thompson, David B.
Tosi
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Tselishchev
Ullman, Arthur
Unique
V – misc.
van Heijenoort, Jean
Vesley, R. E.
Ville
Vladik, B. F.
Vogel, H.
W – misc. (includes Ian Williams)
Wang, Hao
Weingartner, Paul
Wigner, Eugene
Winternitz, Robert
Yasugi
Yates, Michael
Yourgrau, Wolfgang
Ziman, J. M.
Zucker, J.
Addison 1977 Oct - 1978 Mar
Armendariz 1977 Aug
Ashton 1977 Jan- 1977 Oct
Barendregt 1977 Apr - 1978 Feb
Barwise 1977 May - 1978 Mar
Beeson 1977 May
Bernays 1977 May - 1977 Oct
Block 1977 Dec - 1978 Feb
Bokser 1977 Jul - 1978 Mar
Buchholz 1977 Jun - 1977 Oct
Cagnoni 1977 Apr - 1977 Sep
Cappelletti 1977 Oct
Case 1978 Feb
Cellucci 1977 Dec - 1978 Mar
Corcoran 1977 Dec - 1978 Mar
Crick 1977 Dec - 1978 Feb
Dehornoy 1977 May - 1977 Jun
del Franco 1977 Dec - 1978 Feb
Drogalin 1977 Nov
Dummett 1977 Dec - 1978 Feb
Dyson 1978 Jan - 1978 Feb
Engeler 1977 May - 1978 Mar
Ershov 1977 Dec - 1978 Jan
Faust 1977 Oct
Felscher 1977 Apr - 1977 Dec
Fensted 1977 Dec
Fried 1977 Nov - 1978 Feb
Friedman, Harvey (including paper 'The Intuitionistic Completeness of Intuitionistic Logic Under Tarskian Semantics") 1977 Apr - 1978 Feb
Friedman, Sy 1977 Oct
Gabbay 1977 Nov
Geach 1978 Feb
Girard 1977 Jun
Glymour 1978 Feb
Godel (correspondence regarding his death) 1978 Jan - 1978 Feb
Guillaume 1977 Apr - 1977 Dec
Haller 1977 Dec - 1978 Jan
Harrington 1977 Nov
Homer 1977 Dec - 1978 Jan
Hubner (including paper by Kreisel, "On Wittgenstein's Conversations About the Foundations of Mathematics"(In German and English) 1977 Feb - 1978 Jan
Hyland 1977 Apr - 1978 Mar
Jarvie 1977 Apr - 1978 Mar
Jockusch 1977 May - 1978 Feb
Kim 1977 Dec
Kleene 1977 Apr - 1978 Feb
Kochen 1977 Dec - 1978 Feb
Kopliansky 1977 Oct
Kuiper 1977 Jan - Sep
Lam 1978 Mar
Leivant 1977 May
Lerman 1977 Dec - 1978 Mar
Lifschitz 1977 Dec - 1978 Jan
Lin 1977 Nov
Lopez-Escobar 1977 Dec
Lorenzen (including paper by Kreisel, "Formal Rules and Questions of Justifying Mathematical Practice") 1977 Apr - 1978 Apr
Luckhardt 1977 Dec - 1978 Mar
"Madmen" 1977 Mar - 1978 Jan
Marcus 1978 Mar
Mcintyre 1977 Dec - 1978 Mar
Mints 1977 Mar - 1978 Mar
Monk 1977 Sep
Murdoch 1977 Nov
Muser 1978 Feb
Nelson 1977 Feb - 1978 Feb
Nerode 1977 Dec - 1978 Jan
Neston 1977 Oct
Owings 1977 Nov
Pappinghaus 1977 Dec - 1978 Feb
Parikh 1977 May - Oct
Paris 1977 Apr - May
Perzanowski 1976 Dec - 1977 Oct
Pohlers 1977 Apr - 1978 Mar
Popovic 1977 Dec - 1978 Mar
Prawitz 1978 Jan - Mar
Putnam 1977 Nov
Quine 1977 Oct - 1977 Nov
Radu 1977 Sep
Robin 1977 Oct - 1977 Dec
Rogers 1977 Aug - 1977 Dec
Royal Society 1977 Aug - 1978 Mar
Saarinen 1977 Apr - 1977 Nov
Sabbagh 1977 Jul - 1978 Mar
Sacks 1977 May - 1977 Nov
Schlipf 1977 May - 1978 Feb
Schmerl 1977 Nov - 1978 Jan
Schuler 1978 Feb
Schutte 1977 Nov
Schwichtenberg 1977 Dec - 1978 Feb
Scott 1977 Jun - 1978 Jan
Shapiro 1977 Oct
Shepherdson 1977 Jun - Aug
Shimony 1978 Jan - Mar
Shoenfield 1977 May
Sieg 1977 Mar - Dec
Silver 1977 Oct - Nov
Simpson 1977 Oct - 1978 Mar
Sinaceur 1978 Jan
Slisenko 1977 Apr - Oct
Smorynski 1977 Apr - Oct
Snapper 1978 Mar
Solovay 1977 Dec - 1978 Feb
Speck 1976 Sep - 1978 Feb
Specker 1977 Oct - Dec
Statman 1977 Apr - 1978 Mar
Stavi 1977 May - 1978 Feb
Stegmuller 1977 Sep - Nov
Suppes 1977 Apr - 1978 Mar
Swinnerton-Dyer 1977 Oct - Nov
Takeuti 1977 Apr - 1978 Mar
Troelstra 1977 Apr - 1978 Mar
Van Heijenoort 1977 May - 1978 Mar
Vogel 1977 Dec
Weingarten 1976 Sep - 1978 Feb
Yasugi 1977 Apr - Aug
Yates 1977 Apr - 1978 Jan
Zucker 1977 Apr - 1978 Mar
Dittos
Memos
Lecture: "Successes and Limitations of Mathematization" given at WCP Meeting in Dusseldorf (also Includes correspondence with Bochenski Regarding Lecture) 1978
Letters of Recommendation
Addison 1978 May - Sep
Agazzi 1978 Aug
Barendregt 1978 Mar - 1979 May
Barwise 1978 Apr - 1979 May
Beaker 1979 Jan - 1979 May
Benacerraf 1978 Jun - 1979 May
Birch 1978 Jul - Oct
Blair 1978 Dec
Borga 1979 May
Bouveresse 1978 Apr
Buchholz 1978 Apr
Cagnoni 1978 Jul - Sep
Cellucci 1978 Apr - 1979 May
Chomsky 1979 Feb
Christodoulidis 1978 Oct - Nov
Conceptus 1978 Mar - Nov
Corcoran 1978 Mar - Oct
Crick 1978 Mar - 1979 Apr
del Franco 1978 Mar - 1979 May
Deligne 1978 Mar - 1979 Feb
Engeler 1978 Apr - 1979 May
Ershov 1978 Sep
Faust 1978 Sep
Feferman 1978 Jul - 1979 Mar
Felscher 1979 May
Ferebee 1978 Nov
Floistad 1977 Nov - 1979 Apr
Fried 1977 Oct - 1978 Jun
Friedman 1978 May - 1979 Jun
Gauthier 1978 Oct - 1979 Jan
Girard 1978 Sep
Glushkov 1978 Sep - 1979 Jan
Goad 1978 Mar - 1979 Jun
Grabiak 1978 May - Jun
Griffor 1979 May
Guillaume 1978 Mar - Apr
Hajek 1978 Nov
Haller 1978 May - Sep
Harrington 1978 Apr
Hawkins 1978 May - 1979 May
Herre 1978 Jun - 1979 Feb
Howard 1978 Jul - 1979 Mar
Hubner 1978 Dec - 1979 Feb
Hyland (including paper, "Referee's Report on the Paper 'Filter Spaces and Continuous Functionals") 1978 May - 1979 May
Jervell 1979 May
Jockusch 1978 Apr - 1979 Feb
Ketonen 1978 Mar - Nov
Kim 1978 Nov - Dec
Kochen 1978 Mar
Kreinovich 1979 Jan - Feb
Kuiper 1978 Jun - 1979 May
Kunen 1978 May - Aug
Lacon 1978 Aug
Lam 1978 Mar - Nov
Leinfellner 1978 Mar - Sep
Leivant 1979 Jan
Le Lionnais 1978 May
Lenstra 1978 Jul - 1979 Jan
Levy 1978 May - Nov
Lieberherr 1978 May
Lifschitz 1978 Mar - Jul
Lopez-Escobar 1979 Jan - Feb
Lorenz 1978 Oct - 1979 Jan
Lucas 1978 May
Luckhardt 1978 Mar - 1979 May
MacIntyre 1978 Apr - Dec
Makowsky 1978 Dec
Manson 1978 Nov
Marek 1978 May - 1979 Mar
Mints 1978 Mar - 1979 May
Morley 1978 Sep
Motchane 1978 Jun - 1979 Mar
Murdoch 1978 Mar - 1979 May
Mycielski 1978 Oct - 1979 Apr
Nianias 1979 Jan
Okada 1978 Mar - 1979 Feb
Parikh 1978 Jul - 1979 May
Perry 1978 May - Oct
Pohlers 1978 Apr - Sep
Ponziani 1978 Jun - Jul
Prawitz 1978 May - Sep
Previale 1978 Mar
Priky 1978 Oct
Quine 1978 Dec
Rautenberg 1978 Dec - 1979 Feb
Reiter 1979 May
Reznikoff 1979 Jan - Mar
Ribenboim 1978 May - 1979 Mar
Ringot 1978 Oct - 1979 Jan
Robinson 1978 May
Rogers 1978 Apr - Oct
Saarinen 1978 Jan - 1979 Feb
Sabbagh 1978 Apr - Oct
Sachs 1978 Apr - 1979 Jun
Schlipf 1978 Mar
Schmerl (including paper, "Uber eine mit Hilfe von Reflexionsformeln erzeugte Feinstruktur uber PRA - Erweiterungen") 1978 Apr
Schmidt 1978 Jul - 1979 May
Schwichtenberg 1978 Oct - 1979 May
Scott 1978 Mar - 1979 Jan
Seldin 1979 Jan - Apr
Shepherdson 1978 May - 1979 Jan
Shimony 1978 May
Simpson 1978 Apr - 1979 Feb
Smale 1978 Dec
Smorynski 1978 Mar - 1979 May
Solovay 1978 May
Speck 1978 Apr - Jun
Statman 1978 Mar - 1979 Mar
Stavi 1978 Jul - 1978 Nov
Stevenson 1978 Mar - Sep
Stolzenberg 1978 Apr - 1979 Jun
Sundholm 1978 May - 1979 May
Suppes 1978 Mar - 1979 May
Takeuti 1978 Mar - 1979 May
Termini 1978 Mar
Thomas 1978 Jun - Oct
Troelstra 1978 Jan - 1979 Jun
Verena 1978 Dec - 1979 Jun
von Deln 1978 Aug - 1979 May
von Heijenoort 1978 Mar - 1979 May
von Wright 1978 Oct - Dec
Weingartner 1978 May - 1979 May
Wette 1978 Apr
Wigner 1978 Aug
Wojtylak 1979 May
Yasugi 1978 Mar - Jun
Yates 1978 Mar - 1979 May
Zinoviev 1978 Nov - 1979 Feb
Zucker 1978 Apr - 1979 Apr
Communications regarding review of Wittgenstein Book: ''Remarks on the Foundations of Mathematics" in "American Scientist''
Communications regarding UNESCO meeting on Aristotelian Logic 1978-1979
Dittos
Evaluations
Godel Obituary (Correspondence Regarding)
Letters Regarding Visit to Graz 1979 Jan - Jun
Hathematical Reviews
Royal Society
World Congress of Philosophy
Unidentified Articles
Aristotle Conference 1979-1980
Baldwin 1979-1980
Barendregt 1979-1980
Barwise 1979-1980
Beeson 1979-1980
Bibel 1979-1980
Bokser 1979-1980
Boolos 1979-1980
Cagnoni, Donatella - Anthology 1979-1980
Cappelletti 1979-1980
Cassells 1979-1980
Cellucci 1979-1980
Corcoran 1979-1980
Crick 1979-1980
Culmer 1979-1980
Daykin 1979-1980
del Franco 1979-1980
de Ligne 1979-1980
Delzell 1979-1980
Dragolin 1979-1980
Dreben 1979-1980
Dyson, Verena 1979-1980
Engeler 1979-1980
Ershov, Andrei 1979-1980
Ershov, Y. L. 1979-1980
Feferman 1979-1980
Felscher 1979-1980
Ferrabee 1979-1980
Friedman 1979-1980
Gandy 1979-1980
Girard 1979-1980
Goad 1979-1980
Godel Obituary 1979-1980
Godel Obituary (Rudolf Godel) 1979-1980
Gordeev 1979-1980
Graz, Austria 1979-1980
Hacking 1979-1980
Harrington 1979-1980
Herre 1979-1980
Hlawka 1979-1980
Hyland 1979-1980
Jaeger 1979-1980
Jost 1979-1980
Kaufmann-Buhler 1979-1980
Ketonen 1979-1980
Kuiper, Nicolaas 1979-1980
Lacan 1979-1980
Lam 1979-1980
Lenstra 1979-1980
Lifschitz 1979-1980
Lopez-Escobar 1979-1980
Luckhardt 1979-1980
MacIntyre, Angus 1979-1980
Madman 1979-1980
Martin-Lof 1979-1980
Mazur 1979-1980
Mints 1979-1980
Motchane 1979-1980
Murdoch, Iris 1979-1980
Mycielski 1979-1980
Nedo 1979-1980
Nepeivode 1979-1980
Nerodi 1979-1980
Odifreddi 1979-1980
Parikh 1979-1980
Penrose 1979-1980
Pohlers 1979-1980
Pour-El 1979-1980
Prawitz 1979-1980
Prestle 1979-1980
Rautenberg 1979-1980
Reznikoff 1979-1980
Riebenboim 1979-1980
Robinson, Renee 1979-1980
Rogers 1979-1980
Roquette 1979-1980
Royal Society 1979-1980
Sabbagh 1979-1980
Sachs 1979-1980
Schein 1979-1980
Schmerl 1979-1980
Schmidt 1979-1980
Schwichtenberg 1979-1980
Scott 1979-1980
Shepherdson 1979-1980
Simpson 1979-1980
Sinaceur 1979-1980
Smorynski 1979-1980
Solavay 1979-1980
Speck 1979-1980
Specker 1979-1980
Statman 1979-1980
Stavi 1979-1980
Stepanov 1979-1980
Stone 1979-1980
Strauss 1979-1980
Sundholm 1979-1980
Suppes 1979-1980
Takeuti 1979-1980
Alusio 1979 Jul - 1980 May
American Scientist 1979 Jul - 1980 May
Aristotle 1979 Jul - 1980 May
Bandgert 1979 Jul - 1980 May
Cellucci 1979 Jul - 1980 May
Christman 1979 Jul - 1980 May
Crick 1979 Jul - 1980 May
Crossley 1979 Jul - 1980 May
del Franco 1979 Jul - 1980 May
Delzell 1979 Jul - 1980 May
Engeler 1979 Jul - 1980 May
Friedman, H. 1979 Jul - 1980 May
Girard 1979 Jul - 1980 May
Graz 1979 Jul - 1980 May
Guillaume 1979 Jul - 1980 May
Hirzbruche 1979 Jul - 1980 May
Hlawka 1979 Jul - 1980 May
Jaeger 1979 Jul - 1980 May
Jost 1979 Jul - 1980 May
Kingman 1979 Jul - 1980 May
Kuiper 1979 Jul - 1980 May
L-E 1979 Jul - 1980 May
Luckhardt 1979 Jul - 1980 May
Madman 1979 Jul - 1980 May
Mazur 1979 Jul - 1980 May
Hints 1979 Jul - 1980 May
Olifreddi 1979 Jul - 1980 May
Prawitz 1979 Jul - 1980 May
Sabbagh 1979 Jul - 1980 May
Sacks 1979 Jul - 1980 May
Schein 1979 Jul - 1980 May
Schudenberg 1979 Jul - 1980 May
Scott 1979 Jul - 1980 May
Simpson 1979 Jul - 1980 May
Statman 1979 Jul - 1980 May
Suppes 1979 Jul - 1980 May
Takeuti 1979 Jul - 1980 May
Toelstra 1979 Jul - 1980 May
Tosie 1979 Jul - 1980 May
Vail 1979 Jul - 1980 May
Van Heijnoort 1979 Jul - 1980 May
Vogel 1979 Jul - 1980 May
Weingartner 1979 Jul - 1980 May
Wojtylak 1979 Jul - 1980 May
Zinciviev 1979 Jul - 1980 May
Zucker 1979 Jul - 1980 May
Evaluating 1979 Jul - 1980 May
Evaluation-Delzell 1979 Jul - 1980 May
Lecture two texts 1979 Jul - 1980 May
Proof theory 1979 Jul - 1980 May
Publications 1979 Jul - 1980 May
Use of lectures 1979 Jul - 1980 May
Aershov 1980 Jun - 1981 Mar
Barendregt 1980 Jun - 1981 Mar
Beeson 1980 Jun - 1981 Mar
Bibel 1980 Jun - 1981 Mar
Cassel 1980 Jun - 1981 Mar
Cellucci 1980 Jun - 1981 Mar
Coates 1980 Jun - 1981 Mar
Crick 1980 Jun - 1981 Mar
Crossley 1980 Jun - 1981 Mar
Diesen 1980 Jun - 1981 Mar
del Franco 1980 Jun - 1981 Mar
Deligne 1980 Jun - 1981 Mar
Delzell 1980 Jun - 1981 Mar
Dummat 1980 Jun - 1981 Mar
Engeler 1980 Jun - 1981 Mar
Eishov, Y. L. 1980 Jun - 1981 Mar
Friedman 1980 Jun - 1981 Mar
Frolich 1980 Jun - 1981 Mar
Girard 1980 Jun - 1981 Mar
Goad 1980 Jun - 1981 Mar
Graham 1980 Jun - 1981 Mar
Guillaume 1980 Jun - 1981 Mar
Haller 1980 Jun - 1981 Mar
Hasenjager 1980 Jun - 1981 Mar
Hirzebruch 1980 Jun - 1981 Mar
Hlawka 1980 Jun - 1981 Mar
Howard 1980 Jun - 1981 Mar
Hyland 1980 Jun - 1981 Mar
Iris Murdoch 1980 Jun - 1981 Mar
Jacquch 1980 Jun - 1981 Mar
Jaeger 1980 Jun - 1981 Mar
Jensen 1980 Jun - 1981 Mar
Jones 1980 Jun - 1981 Mar
Jost 1980 Jun - 1981 Mar
Ketonen 1980 Jun - 1981 Mar
Kleene 1980 Jun - 1981 Mar
Kock 1980 Jun - 1981 Mar
Krause 1980 Jun - 1981 Mar
Lacan 1980 Jun - 1981 Mar
Leivant 1980 Jun - 1981 Mar
Lenstra 1980 Jun - 1981 Mar
Levy 1980 Jun - 1981 Mar
Lifschitz 1980 Jun - 1981 Mar
Lopez-Escobar 1980 Jun - 1981 Mar
Luckhardt 1980 Jun - 1981 Mar
MacIntyre 1980 Jun - 1981 Mar
MacLane 1980 Jun - 1981 Mar
Madman 1980 Jun - 1981 Mar
Makovsky 1980 Jun - 1981 Mar
Marek 1980 Jun - 1981 Mar
Mazur 1980 Jun - 1981 Mar
Meyer 1980 Jun - 1981 Mar
Mints 1980 Jun - 1981 Mar
Mittelstaedt 1980 Jun - 1981 Mar
Morscher 1980 Jun - 1981 Mar
Mundici 1980 Jun - 1981 Mar
Murdoch, Iris 1980 Jun - 1981 Mar
Odifreddi 1980 Jun - 1981 Mar
Piatelli 1980 Jun - 1981 Mar
Pourel 1980 Jun - 1981 Mar
Prawitz 1980 Jun - 1981 Mar
Prestel 1980 Jun - 1981 Mar
Rabin 1980 Jun - 1981 Mar
Riebenboim 1980 Jun - 1981 Mar
Royal Society 1980 Jun - 1981 Mar
Sabbagh 1980 Jun - 1981 Mar
Sacks 1980 Jun - 1981 Mar
Schein 1980 Jun - 1981 Mar
Schimanovic 1980 Jun - 1981 Mar
Schmerl 1980 Jun - 1981 Mar
Schwichtenberg 1980 Jun - 1981 Mar
(Dana) Scott 1980 Jun - 1981 Mar
(Philip) Scott 1980 Jun - 1981 Mar
Sheperdson 1980 Jun - 1981 Mar
Simpson 1980 Jun - 1981 Mar
Sinaceur 1980 Jun - 1981 Mar
Smith 1980 Jun - 1981 Mar
Smorynski 1980 Jun - 1981 Mar
Solovay 1980 Jun - 1981 Mar
Speck 1980 Jun - 1981 Mar
Specker 1980 Jun - 1981 Mar
Statman 1980 Jun - 1981 Mar
Stcpanov 1980 Jun - 1981 Mar
Sundholm 1980 Jun - 1981 Mar
Suppes 1980 Jun - 1981 Mar
Takeuti 1980 Jun - 1981 Mar
Toelstra 1980 Jun - 1981 Mar
Van den Dries 1980 Jun - 1981 Mar
Van Heijnoort 1980 Jun - 1981 Mar
Weingartner 1980 Jun - 1981 Mar
Witt 1980 Jun - 1981 Mar
Winternitz 1980 Jun - 1981 Mar
Wojtylak 1980 Jun - 1981 Mar
Zucker 1980 Jun - 1981 Mar
American Scientist Review 1980 Jun - 1981 Mar
First Versions Unpublished Papers 1980 Jun - 1981 Mar
Letters of Evaluation 1980 Jun - 1981 Mar
Letters of recommendation 1980 Jun - 1981 Mar
Publications-Draft of Publications 1980 Jun - 1981 Mar
Unpublished Lectures 1980 Jun - 1981 Mar
Unpublished Notes 1980 Jun - 1981 Mar
Barendregt
Cellucci
Chreneau
Crick
Dawson
del Franco
Delzell
Dyson
Feferman
Friedman
Friedrich
Girard
Goldfarb
Guillaume
Haller
Halmos
Howard
Jost
Kaufman-Buhler
Krause
Kuiper
Lambek
Lopez-Escobar
Luckhardt
MacIntyre
Madman
Makinson
Mints
Morley
Morscher
Murdoch
Parikh
Peters
Prawitz
Robinson
Royal Society
Sabbagh
Schmetterer
Schwichtenberg
Scott, Dana
Simpson
Smith
Speck
Spencer
Statman
Stepanou
Suppes
Takeuti
Toelstra
Van Dahlen
Van den Dries
Van Heijnoort
Wilkie
Wojtylak
Zilber
Zucker
Letters of Evaluation
Unpublished Notes
Adams
Aristotle
Barendregt
Burgess
Cassel
Cellucci
Cilber
Coates
Cooper
Crick
del Franco
Deligne
Delzell
Engeler
Ershou
Evaluation
Feferman
Fens tad
Friedman
Girard
Goad
Guillarme
Howard
Hylend
International Congress of Mathematicians 1982
Jock
Jost
Kaufmann-Buhler
Keisler
Kleene
Kuiper
Lacan
Lopez-Escobar
Luckhardt
McIntyre
Madmen
Mazer
Mintz
Mitter Strass
Morscher
Murdoch
Mycielski
Myhill
Nedo
Perry
Peters
Piattell-Palmarina
Pour-El
Prawitz
Prestell
Royal Society
Sabbagh
Sacks
Schutte
Schwichtenberg
Scott
Simpson
Smith
Smithies
Smorynski
Statman
Sumdholm
Suppes
Takeuti
Troelstra
Van Dalon
Van den Dries
Van Heij enoort
Weingartner
Wilkie
Wojtylak
Zassenhaus
Zucker
Anellis, Irving H. 1982
Arnon, Dennis 1982
Baker, Alan 1981-1982
Barendregt, H. 1981-1982
Bellin 1982
Buff, H.W. 1982
Cassels, J.W.S. 1982
Cellucci, C. 1981-1982
Craig, William 1981-1982
Daykin 1981
del Franco 1981-1982
Deligne 1982
Delzell, Charles 1981-1982
Enderton, Herbert B. 1982
Engeler, E. 1981-1982
Epstein, Richard L. 1981-1982
Ershov 1981
Feferman, Sol 1982
Friedman, Harvey 1982
Girard, Jean-Yves 1982
Herre 1981
Hintikka, Jaakko 1981-1982
Howard, William A. 1981-1982
Hsia, J.S. 1982
Kaufmann-Buhler 1981-1982
Keister 1982
Krause, Ralph M. 1981-1982
Lenstra 1982
Lopez-Escobar 1982
Luckhardt, H. 1982
MacIntyre, Angus 1981-1982
MacIntyre, Angus 1982
Madison, Gene 1982
Mate, Attila 1982
Mathias, Adrian 1982
Mints 1981-1982
Moore, Gregory 1982
Morscher 1982
Murdoch, Iris 1981-1982
Mycielski, Jan 1982
Nedo 1982
Peters, Klaus 1981-1982
Piatelli-Palmarini 1982
Poland, William 1981
Pour-El 1981
Prestel 1982
Sabbagh 1982
Scedrov, Andrej 1982
Schmerl 1982
Schwichtenberg 1982
Scott, Dana 1982
Scott, Philip 1981
Shapiro, Stewart 1982
Sheperdson, J.C. 1982
Shore, Richard A. 1982
Sinaceur, Hourya 1981-1982
Smith, Rick 1982
Smorynski 1982
Statman, Richard 1981-1982
Stavi 1982
Stern, Jacques 1981-1982
Sundholm, G. 1982
Suppes, Patrick 1981
Takeuti, G. 1981-1982
Troelstra, A.S. 1981-1982
Van Benthem 1982
Van den Dries 1982
Van den Hoesen, Gerrit 1982
Van Heijenoort 1982
Weingartner, Paul 1981-1982
Wilkie 1981
Wojcicki, Ryszard 1981-1982
Wojtylak, P. 1982
Wu, Wen-Tsin 1982
Yasugi, Mariko 1981
Zassenhaus 1981-1982
Early Drafts
Evaluations
Evaluations
Godel Obituary (Correspondence with John Dawson) 1981-1982
Godel Obituary (Correspondence with Stephen Kleene) 1981-1982
Godel Obituary (Correspondence with the staff of the Royal Society) 1981-1982
Institute for Advanced Study 1981-1982
Madmen 1982
Royal Society 1982
Unpublished Lectures
Unpublished Seminar Notes
Adams 1982 Dec - 1983 Jan
Anellis 1982 Jun - 1983 Jan
Baez 1982 Jun - Dec
Baker 1982 Jun - Nov
Benacerraf 1982 Jun - Nov
Berlin 1982 Nov
Brunner 1982 Sep - Nov
Casari 1982 Oct
Cassels 1982 Jun - Nov
Cellucci 1982 Sep - Nov
Coates 1982 Oct - Nov
Crabbe
Crick 1982 Jul - 1983 Jan
Culik 1982 Dec - 1983 Jan
Dawson 1982 Jun - Nov
del Franco 1982 Jul - 1983 Jan
Deligne 1982 Nov
Delzell 1982 May - 1983 Jan
Dumett 1982 Dec
Engeler 1982 Jul - Dec
Ershov 1982 Nov
Feferman 1982 Dec
Friedman 1982 Nov
Girard 1982 Jun - Nov
Godel 1982 Sep - Dec
Guad 1982 Jul -Nov
Gurevich 1982 Dec - 1983 Jan
Hintikka 1982 Aug
Hlawka 1982 Jun - Nov
Howard 1982 Jun - Dec
Hubner 1982 Jul - Aug
Hyland 1982 Jun - Dec
Jockusch 1982 Jul
Kalman 1978 Apr - Dec
Kleene 1982 Aug - Dec
Krause 1982 Dec
Kuiper 1982 Aug - Nov
Lenstra 1982 May - Nov
Longo 1982 Nov
Lopez-Escobar 1982 Oct - 1983 Jan
Luckhardt 1982 Jun - 1983 Jan
MacIntyre 1982 Jun - 1983 Jan
Mason 1982 Nov
Mate 1982 Jun
Mazur 1983 Jan
Mellis 1982 Sep - Oct
Miller 1982 Jul - Sep
Mints 1982 Nov - 1983 Jan
Mittelstrass 1982 Jul - Sep
Morscher 1982 Jul
Murdoch 1982 Jun - Dec
Nedo 1982 Oct - Dec
Perry 1982 Jun - Jul
Peters 1982 Aug - Dec
Piatelli-Palmarini 1982 Jul - Dec
Popham 1982 Aug
Pravitz 1982 Sep - Nov
Prestel 1982 Nov
Renardel 1982 Oct - Dec
Rodenberg 1982 Oct
Sachs 1982 Dec
Salecker 1983 Jan
Schimanovich 1982 Aug - Oct
Schmerl 1982 Jun
Schmetterer 1982 Nov - Dec
Schwichtenberg 1982 Jun - Dec
Scott 1982 Jun - Dec
Shiner 1982 Mar - Nov
Sinaceur 1982 Oct - Nov
Stavi 1982 Oct
Stepanov 1982 Nov
Sundholm 1982 Oct
Takeuti 1982 Jun - 1983 Jan
Taussky-Todd 1982 Oct - Dec
Tijdeman 1982 Nov
Troelstra 1982 Jun - 1983 Jan
Van den Dries 1982 Jun - Nov
Van Heijenoort 1982 Jun - Nov
Wainer 1982 Nov
Weibel 1982 Aug - 1983 Dec
Weingartner 1982 Jun - Dec
Wilkie 1982 Sep - Nov
Wojcicki 1982 Aug - Nov
Wojtylak 1982 Aug - Nov
Zucker 1982 Sep
Early Drafts 1983 Jan
Evaluation (J. Owings) 1982 Oct
Godel Obituary (Correspondence Regarding) 1982 Sep - Oct
Lecture Notes 1982 Oct
Lecture (Unpublished): "Grundlagen der Mathematik''
Letters of Recommendation 1982 Feb - Nov
Memos 1982 Dec
Correspondence with "Odd People" 1982 Feb - Nov
Royal Society 1982 Oct - Nov
Anellis 1983 Jan - Apr
Arnon 1983 Jan
Baoz 1983 Apr
Barendregt 1983 Feb
Beeson 1983 Feb - Mar
Benacerraf 1983 Mar
Berlin 1982 Dec - 1983 Mar
Cassels 1983 Jan
Cellucci 1983 Feb - Apr
Culik 1983 Jan - Mar
Dawson 1983 Apr
del Franco 1983 Feb - Apr
Deligne 1983 Mar
Pelzell 1983 Mar
Dummet 1983 Feb
Engeler 1983 Mar - Apr
Ershov
Feferman 1983 Apr
Girard 1983 Mar
Godel 1983 Apr
Gurevich 1983 Jan
Hlawka 1983 Feb
Howard 1983 Jan - Mar
Jost 1983 Apr
Klcene 1983 Mar - Apr
Kuiper 1983 Feb
Lenstra 1983 Feb
Longo 1983 Mar
Lopez-Escobar 1983 Feb - Mar
Luckhardt 1983 Feb - Apr
MacIntyre 1983 Jan - Apr
Mass 1983 Jan
Mazur
Mints 1983 Mar - Apr
Mondrijk 1983 Mar
Murdoch 1983 Apr
Nelson 1983 Mar
Peters 1983 Mar - Apr
Piatelli-Palmarini 1983 Jan
Popper 1983 Feb - Mar
Pour-El 1983 Mar
Prasad 1983 Feb - Mar
Robinson 1983 Jan
Sacks
Saledor 1983 Mar
Schmitterer 1983 Mar
Schraeder-Heister 1983 Feb
Schwichtenberg 1983 Feb - Apr
Scott 1983 Mar - Apr
Shepherdson 1983 Apr
Shiner 1983 Mar
Statma 1983 Feb - Mar
Stavi 1983 Feb - Mar
Takeuti 1983 Feb - Apr
Taussky-Todd 1983 Feb - Apr
Terlouw
Troelstra 1983 Jan - Apr
Van den Dries 1983 Mar
Van Heijenoort
Wainer 1983
Weibel 1983 Apr
Weingartner 1983 Feb - Apr
Wojtylak 1983 Feb - Apr
Essays and Drafts, no dates
Evaluations
Lecture Notes 1983 Feb
Correspondence with "Mad Persons"
Royal Society 1983
UNESCO Meeting on Artistotelian Logic (Letters Regarding)
Godel Papers from the Hinisterium fur Innere und Kulturelle Angelegenheiten (Republik Osterreich, Osterreichisches Staatsarchiv)
Correspondence Between Godel and his Mother
Godel Paper: "Generalized Continuum Hypotheses"
Biographical Sketches of Godel
Godel's Proof of the Existence of God
Comments from Godel's Dissertation Committee
Almog 1983-1984
Anellis 1983-1984
Baaz 1983-1984
Bellin 1983-1984
Bethke 1983-1984
Burge 1983-1984
Burgess 1983-1984
Cassel 1983-1984
Cellucci 1983-1984
Dawson 1983-1984
Davis 1983-1984
del Franco 1983-1984
del Franco 1983-1984
Delzell 1983-1984
Dyson 1983-1984
Efron 1983-1984
Engeler 1983-1984
Ershov 1983-1984
Farmer 1983-1984
Feferman 1983-1984
Follesdal 1983-1984
Franova 1983-1984
Geyer 1983-1984
Girard 1983-1984
Goad 1983-1984
Godel, Kurt 1983-1984
Godel, Rudolf 1983-1984
Gordeer 1983-1984
Halmos 1983-1984
Hasenjager 1983-1984
Hlawka 1983-1984
Howard 1983-1984
Jacobs 1983-1984
Jager 1983-1984
Jech 1983-1984
Jeroslov 1983-1984
Jockusch 1983-1984
Jost 1983-1984
Kleene 1983-1984
Kolmogorov 1983-1984
Krause 1983-1984
Lacon 1983-1984
Lenstra 1983-1984
Le Veque 1983-1984
Longo 1983-1984
Lopez-Escobar 1983-1984
Luckhardt 1983-1984
Leeb 1983-1984
Lyndon 1983-1984
McCarthy 1983-1984
MacIntyre, Angus 1983-1984
MacIntyre, Angus 1983-1984
McRobbie 1983-1984
"Madmen" 1983-1984
Manders 1983-1984
Mints 1983-1984
Moerdyk 1983-1984
Murdoch, Iris 1983-1984
Neurkirch 1983-1984
Okada 1983-1984
Paris 1983-1984
Piattelli-Palmerini 1983-1984
Pohlers 1983-1984
Pour El 1983-1984
Prawitz 1983-1984
Sabbagh 1983-1984
Schimanoritch 1983-1984
Schmetter 1983-1984
Schroeder, Heister 1983-1984
Schwichtenberg 1983-1984
Scott 1983-1984
Shepherdson 1983-1984
Shiner 1983-1984
Simpson 1983-1984
Sinaceur 1983-1984
Solomon 1983-1984
Statman 1983-1984
Stegmuller 1983-1984
Stepanov 1983-1984
Takeuti 1983-1984
Taussky, Olga 1983-1984
Taussky, Olga 1983-1984
Tragesser 1983-1984
Troelstra 1983-1984
Van den Dreis 1983-1984
Van den Hoeven 1983-1984
Van Heij enoort 1983-1984
Verdiglione 1983-1984
Viertl 1983-1984
Visser 1983-1984
Wainer 1983-1984
Weibel 1983-1984
Weingartner 1983-1984
Wojtylak 1983-1984
Hustholz 1983-1984
Yates 1983-1984
Zassenhas 1983-1984
Ziegler 1983-1984
Evaluations 1983-1984
Contemporary Logic, mss 1984
Thinking About Man: Hardware, Software, and Wetware, Tokyo, mss 1984
Twentieth Century Philosophy of Mathematics, mss 1984
Lectures in Germany 1983
Royal Society Meeting, "Aspects of Gene Expression and Its Control" 1984
Almog 1984
Anellis 1984
Baaz 1984
Crick 1984
Crossley 1984
del Franco 1984
Delzell 1984
Dyson 1984
Etfron 1984
Engeler 1984
Feferman 1984
Hegeler Institute 1984
Friedman 1984
Geyer 1984
Götschel 1984
Hofmann 1984
Lopez-Escobar 1984
Longo 1984
Luckhardt 1984
MacIntyre 1984
"Mad Woman" 1984
Malinowski 1984
McCarty 1984
Morovisik 1984
Minto 1984
Murdoch 1984
Nedo 1984
Otte 1984
Salecker 1984
Scedrov 1984
Schimanovich 1984
Schmel 1984
Schwichteng 1984
Scott 1984
Shanker 1984
Simon 1984
Sinacuer 1984
Suppes 1984
Takeuti 1984
Taussky 1984
Tragesser 1984
Van Heijenoort 1984
Vissel 1984
Weingartner 1984
Wojtilach 1984
Yalom 1984
Yates 1984
Seminar 1984
Introduction to Philosophy
Lectures
Evaluations 1984
Correspondence
Correspondence
Correspondence
Correspondence
Letters to others about Godel
Writings on/evaluations of Godel's work
Royal Society obituary by Kreisel
Interview with Kreisel about Godel
Letters about the future of Godel's papers
Letters to Godel from others
Miscellaneous papers
Kreisel's memoir about Godel
Drafts of the memoir
Drafts of the memoir
Notes (Seminars, Lectures, etc. – published and unpublished), manuscripts, publications SERIES 3
Abstract structures [seminar notes]
Algebraic proof theory [seminar notes] Autumn 1969
Applications of Proof Theory to Computer Science [technical report]
Axiomatic Systems; Foundational Uses of Proof Theory [unpublished lectures] ca. 1966
Axiomatic Systems; Foundational Uses of Proof Theory [unpublished lectures]
Computations and Formal Deductions; Markov's Principle
Elementary Logic [lecture notes]
Elements of Mathematical Logic: Model Theory by Krivine, Kreisel, 1967 [notes and revisions]
Five Notes on Transfinite Progression [technical report] 1962-07-31
Formal Rules and Questions of Justifying Mathematical Practices; What have we learned from Hilbert's Second Problem?; Some Purposes of Generalizing Recursive Theory [rough drafts]
French course [lecture notes] 1960-1961
Memo to Barwise, Mints, Simpson, Statman, Stavi re research problems
Metarecursion Theory
Model Theory; AC; Bar Recursion [notes]
Nervous System [lecture notes] 1954
Non-uniqueness Results for Transfinite Progressions [technical report], 2/22/61
Publications, correspondence regarding [North Holland Publishing co. and others]
Fundamental Concepts of Intuitionistic Mathematics, UCLA [lecture notes], 1973
Fundamental Concepts of Intuitionistic Mathematics, UCLA [lecture notes], 1973
Der unheilvolle Einbruch der Logik in die Mathematik [first lecture on Wittgenstin, manuscript] 1975
Weak Completeness of Intuitionistic Predicate Logic [technical report] and other articles 1/27/61
Diary 1957-1958
Diary 1959
Diary [problems and theorems] 1960-1961
Diary [problems and theorems] 1962, 1964
Articles/Lectures
Interpretations and Some Use no date>
Choice of normalization steps: a pedagogic example no date>
Explicit realization of existential theorems no date>
Models and functional interpretations no date>
Well orderings (transfinite induction) in proof theory no date>
What is a recursively analytic function of a complex variable? no date>
The meaning of Brouwer's free choice sequences no date>
Formalization of mathematical practice: analytic number theory, n.d. [written Hotel Bristol, Wien]
Bertrand Russell: Critical or speculative philosopher? Leeds, 16 Oct. 1972
Some purposes of generalizing recursion theories [final draft] no date>
Modelltheorie und Unentscheidbarkeitsgrade no date>
Mechanical computability and physical realizability of sequences of natural numbers no date>
[untitled] first line begins "I am interested here in the refinements of . . .model theory and recursion theory. . ." n.d.
Denkpsychologische Betrachtungen im Gebiete der mathematischen Mengenlehre no date>
Explicit mathematics and explicit metamathematics no date>
Applications of model theory and proof theory no date>
Metamathematical principles needed to establish closure properties of formal systems no date>
Memo: A retrogression tendency in the study of abstract logics no date>
A neglected aspect of the formalization of informal mathematics no date>
Two specific problems in intuitionistic mathematics and metamathematics no date>
Computer Science begins where recursion theory ends no date>
History of Logic Symposium, Dec. 27, 1971
Consumer Guide to Proof Theory no date>
Philosophy of Mathematics no date>
Logic in the Sixties (5.2.73)
Wie kam man dazu, Beweise nach ihrem Inhalt zu normalisieren? (Muenchen 15.1.73)
What use are normal derivations in (classical) analysis? no date>
Begriff des formalen Systems; formale mechanische Operationen an endlichen Woertern. . ." n.d.
Was leistet die Formalisierung der modelltheoretischen Metamathematik? (Muenster, 25.1.73)
Was sind und was sollen die Funktionalinterpretationen? (Kiel, 26.1.73)
Wie die Beweistheorie zu ihren Ordinalzahlen kam, (Hannover, 19.1.73)
Additions to REVIEW (of course notes, 1973)
Further additions to REVIEW (of course notes, 1973)
What do we want to know about constructive mathematics? Aug. 1, 1973
Conflicting requirements on formalizations of a branch of mathematics no date>
b - models: a model theory for the schema WF[R] ® TI[R,A] no date>
Notions without a definite extension no date>
[untitled] first line begins: "This note supplements the translator's sketch. . ." (re Gentzen) no date>
Facts and fantasies about logic in philosophy no date>
Natural representations of concepts and natural equivalence no date>
Applications of non-standard semantics no date>
On studying the history of philosophy no date>
Philosophy of mathematics and the Silent Majority no date>
Natural representation and identity criteria of concepts no date>
[untitled notes] first line begins: "I thought of calling this lecture Formalist principles of mathematics versus principles of formalist mathematics," n.d.
Formal systems complete for Goedel's functional interpretation (course notes Autumn 1969)
Seminar notes: Autumn 1969 – Review
What is lost by formalist foundations?, nd.
Lecture 1 – "The origins of mathematics certainly lie…" [contains proofs of the "fundamental theorem of algebra"] n.d.
Lecture 2 – "We recall that we mentioned 'formally-real' fiends" n.d.
Equality between simple functionals no date>
Effective versions of proofs in analytic number theory, nd.
Elements of mathematical logic (I. Semantic study of classical logic) no date>
Technical progress and the problems of philosophy no date>
Model theoretic meaning of recursive sets and effective operations no date>
Preface [to a book on mathematical logic?] and B. Foundational problems no date>
Using ordinals instead of cardinals for analyzing (infinite) prepositional logic no date>
Existential assumptions and their languages no date>
Review of Seminar [no further title, n.d.]
Infinitary languages of n-ary relations no date>
Inductive definitions, hierarchies and subclasses of the class of recursive functions no date>
Appendix B: Completeness of intuitionistic predicate logic, n.d. [also, Italian translation]
The greatest goof for the greatest number no date>
Two notes on the foundations of set theory, 1969
On the relationship between intuitionistic and classical arithmetic (appendix I), n.d. [on verso: handwritten MS, discussion of biological phenomena and consciousness]
Miscellany SERIES 4
International Congress of Logicians and Mathematicians, Nice, correspondence re 1970
International Congress of Logicians and Mathematicians, Nice, correspondence re 1970
International Congress of Logicians and Mathematicians, Nice, correspondence re 1970
International Congress of Logicians and Mathematicians, Helsinki, correspondence re [this is either folder 5 or 5a – original list unclear] 1978
Philosophy Department, Stanford University
Unidentified fragments of letters, papers, etc.
Photographs
Notes, manuscripts, lectures, publications SERIES 5
Memo concerning mathematical properties of ECF, ICF, etc. Christmas 1975. BR, neighborhood functions and the theory of species. 1976-02-10
Brouwer, L. E. J. – earlier drafts and correspondence re Kreisel's 2nd Brouwer review
Metamathematik mit Beschraenkten Mitteln: Modellund Beweistheorie. [lecture] Muenchen 1975-04-06
Wittgenstein – drafts and correspondence re Kreisel's 2nd lecture on Wittgenstein, "Proofs and rules: topics for illustrating Wittgenstein's style of thought." 1976
Course notes, memorandum (Spring 1976) SERIES 6 1976
"Half-stage Lessons" (Spring quarter 1976) [course notes] 1976
"Comments on the papers with Mints and Simpson in Springer Lecture Notes 453 (1975) pp. 38-131"
Wittgenstein colloquim SERIES 7 1976 Apr
Correspondence re Kreisel's paper on Wittgenstein; preliminary versions
Correspondence re publication of Wittgenstein Colloquium paper
Memos/course notes:
"Realizations and realizability"
"Modelling Intuitionistic implicational logic by means of hereditarily formalized proofs and operations" Aut. 1976
"Formal system for ILL"
"Questions related to the regular operators of Dean McCullogh"
"Data for analytic functions"
"A neglected problem concerning Kleene's schematic S1-S9"
"Update on 2 papers reviewed in MR, 1976"
"How Large are Ramsey numbers?"
Zurich Lecture for Eidgenossiche Technische Hochschule; "Constructivist Approaches to Logic" – paper by Kreisel and related correspondence
Wittgenstein Lectures – book review for Bull. Of the HMS and related correspondence
"From Science to Foundations: Justifying and unwinding Proofs." Correspondence re paper and symposium for which it was intended
"Elementary Logic: Some Lessons from the Last 25 Years"
"Informal Rigor and Completeness Proofs"
Addenda, 1987-008 (to be remediated as box 52) ARCH-1987-008
Correspondence 1984-1986
Addenda, 2015-100 (to be remediated as box 53) ARCH-2015-100
Kreisel, Introduction to philosophy through problems in mathematics, (tss), c. 2 undated
Addenda, 2022-061 (to be remediated as box 54) ARCH-2022-061
Correspondence with Professor Humphreys 1995
Preamble Draft in the light of TENOS - Second Thoughts around some of Godel's Writing
Preamble Draft with Comments in the light of TENOS - Second Thoughts Around Some of Godel's Writing
Appendix Draft - Logical Complements in the light of TENOS - Second Thoughts Around Some of Godel's Writing
Editor's Draft and Notes of Second Thoughts Around Some of Godel's Writing
Correspondence with Professor Humphreys 1996
Correspondence with Professor Humphreys 1997
Correspondence with Professor Humphreys pt. 2 1996
Correspondence with Professor Humphreys 1998
Correspondence with Professor Humphreys 1999
Correspondence with Professor Humphreys, Undated
Miscellaneous
Addenda, 2024-122 ARCH-2024-122
Typed summaries for Intuitionistic Mathematics lectures 1-6 (logic); includes lecture additions and list of problems 1962
Further exercises for lectures 4-6 1962
Handwritten notes for lectures 1-6 1962
Typed summaries for Intuitionistic Mathematics lectures 7-12 1962
Handwritten notes for lectures 7-12 1962
Typed summaries for Intuitionistic Mathematics lectures 13-16; includes lecture additions and lists of problems 1962
Handwritten notes for lectures 13-16 1962
Addenda, 2024-635 Accession ARCH-2024-635
Name index for pre-1975 correspondence card files