Guide to the Solomon Feferman Papers

Stanford University Libraries Department of Special Collections and University Archives
Stanford, California
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 6

Main Files, 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 2, Folder 11

ASL-Correspondence, 1982

Box 3, Folder 1

ASL,1981-1982

Box 3, Folder 2

Ruth Barcan Marcus-Correspondence, 1982-1983

Box 3, Folder 3

ASL New Business,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

Box 3, Folder 10

ASL-Nominations, 1985