Guide to the Solomon Feferman Papers
Stanford University Libraries
Department of Special Collections and University Archives
October 2010
Copyright © 2011 The Board of Trustees of
Stanford University. All rights reserved.
Note
This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines,
Version 1.0.
Overview
Call Number: SC0907
Creator:
Feferman, Solomon
Title: Solomon Feferman papers
Dates: 1973-1985
Physical Description:
1.5 Linear feet
Summary: 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.
Language(s): The materials are in English.
Repository:
Department of Special Collections and University Archives
Stanford University Libraries
557 Escondido Mall
Stanford, CA 94305-6064
Email: speccollref@stanford.edu
Phone: (650) 725-1022
URL: http://www-sul.stanford.edu/depts/spc/spc.html
Administrative Information
Information about Access
This collection is open for research.
Ownership & Copyright
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.
Restrictions also apply to digital representations of the original materials. Use of
digital files is restricted to research and educational purposes.
Cite As
Solomon Feferman Papers (SC0907). Department of Special Collections and University
Archives, Stanford University Libraries, Stanford, Calif.
Biographical/Historical Sketch
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.
Description of the Collection
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.
Access Terms
Association for Symbolic Logic.
Feferman, Solomon
Stanford University--Faculty.
Logic, Symbolic and Mathematical.
Collection Contents
Papers Accession ARCH-2008-227
Box 1, Folder 1
Association for Symbolic Logic (ASL) Book Series Folder,
1981-1982
Box 1, Folder 2
ASL Book Series Proposal (1 of 2), 1980-1983
Box 1, Folder 3
ASL Book Series Proposal (2 of 2), 1980-1983
Box 1, Folder 4
Book Series Extra Letters, 1981
Box 1, Folder 5
ASL Membership Committee, 1977-1982
Box 1, Folder 6
Journal of Symbolic Logic (JSL) Current, 1982
Box 1, Folder 7
Agenda Work-Up & Memos from Mesiro, 1981-1983
Box 1, Folder 8
ASL Book series-Boston, 1982-1983
Box 1, Folder 9
AMS/ASL Translations Subcommittee, 1980-1982
Box 1, Folder 10
ASL Meeting-Boston December 29, 1983, 1982-1983
Box 1, Folder 11
ASL: Editorial Board- Abstracts Format, 1980-1982
Box 1, Folder 12
European Committee for Logic, 1980-1982
Box 1, Folder 13
ASL Prize & Awards, 1978-1982
Box 1, Folder 14
Broadening-Letters to the Council, 1982
Box 2, Folder 1
Interned Polish Logicians, 1981-1982
Box 2, Folder 2
Proposal: Latin American Symposium, 1982-1983
Box 2, Folder 3
Broadening the ASL- Center Meeting; May 12, 1982, 1980-1982
Box 2, Folder 4
IUHPS/DLMPS-Salzburg Meeting, 1983
Box 2, Folder 5
ASL (Active)-Pending, 1978-1979
Box 2, Folder 7
ASL Publications Committee: Subcommittee I- New Journals,
1973-
Box 2, Folder 8
ASL-Bulletin of Information, 1980-1981
Box 2, Folder 9
ASL-Bulletin of Information II, 1983
Box 2, Folder 10
ASL Council Minutes, 1983 January 7-8
Box 3, Folder 2
Ruth Barcan Marcus-Correspondence, 1982-1983
Box 3, Folder 4
NSF Travel Grant to Salzburg Meeting, 1982
Box 3, Folder 5
ASL-Final Work, 1981-1983
Box 3, Folder 6
ASL Correspondence (II), 1982-1983
Box 3, Folder 7
ASL Correspondence (III), 1982-1983
Box 3, Folder 8
ASL-Council Meeting, 1983 December 29-30
Box 3, Folder 9
ASL-Meeting in Anaheim-Council Meeting Agenda, 1985 January
