These papers primarily document Feferman's term as president of the Association for Symbolic Logic from 1980 to 1982. The material consists largely of correspondence, meeting agendas and minutes, and material from symposia and lectures.

Solomon Feferman is a Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences at Stanford University, he became Emeritus in 2004. Born December 13, 1928 in New York, New York, Feferman earned a B.S. from the California Institute of Technology in 1948, and his Ph.D. at University of California, Berkeley in 1957. His interests include mathematical logic, philosophy of mathematics, and history modern logic.

1.5 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.

This collection is open for research.