Correspondence with professional colleagues, collaborators, students, and others, primarily from 1962 to 1984, lecture notes, manuscripts and other writings.

Professor of Logic and the Foundations of Mathematics at Stanford University. Born in Graz, Austria, Kreisel received his B.A. degree in 1944 and his M.A. degree in 1947, both from Cambridge University. He served at Lecturer in Mathematics at the University of Reading from 1949 to 1954, 1957 to 1958 and 1959 to 1960. He was a member of the Institute for Advanced Study at Princeton from 1955 to 1957, and Professor of Mathematics at the University of Paris from 1960 to 1964. He first came to Stanford University in 1958 as a Visiting Associate Professor of Mathematics and later as Visiting Professor of Logic and Mathematics. Since 1964, he has held a joint appointment in Stanford's departments of Mathematics and Philosophy. In 1966, he was elected a Fellow of the Royal Society. Kreisel died on March 1, 2015.

25.25 Linear Feet

All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94304-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/depts/spc/pubserv/permissions.html.

The materials are open for research use.