box 1, folder 1-10
Calculations
1971-2008
Scope and Content
Files related to manuscripts and publications authored by Enderton. Materials include the following: "Degrees of Computational
Complexity," "A Note on the Hyperarithmetical Hierarchy," "Completeness in Chang's Modal Model Theory," "The Unique Existential
Quantifier," "A Language of Order 1 1/2," and a file on the Busy Beaver problem and Turing machines.
box 5, folder 2-7, box 1, folder 11-16
Association for Symbolic Logic
circa 1978-2007
Scope and Content
The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic.
It was founded in 1936 and its primary function is to provide an effective forum for the presentation, publication, and critical
discussion of scholarly work in this area of inquiry.
Box 1: Materials include correspondence, newsletters, bulletins, membership applications, ballots and membership lists.
Box 5: Materials include ASL Council correspondence and minutes.
box 5, folder 8-12, box 2, folder 1-6
Journal of Symbolic Logic
1957-1969, 1971-1988
Scope and Content
The Journal of Symbolic Logic (JSL) began publishing in 1936 and included a Reviews Section edited by Alonzo Church from 1936
until 1979. Enderton also edited the Reviews Section beginning in 1968 and then served as the Coordinating Editor from 1980-2002.
The JSL publishes original scholarly work in the field of logic and includes new aspects related to other disciplines such
as computer science and linguistics.
Box 2: Materials include correspondence concerning reviews, notes on indexing, editorial notes, a copy of the Omega-Group
Thesaurus of Mathematical Logic and correspondence by Alonzo Church.
Box 5: Materials include correspondence between Church and Enderton, staff lists, and the editorial and administrative files
of Church and Enderton.
box 2, folder 7
Sense and Denotation
1946, 1950-1954
Scope and Content
Photocopies of Alonzo Church lecture notes and correspondence.
box 2, folder 8
UCLA mathematics courses
1978-2009
Scope and Content
Enderton's course evaluations.
box 4, folder 1, box 3, folder 1-5
Publications
1964-1968
Scope and Content
Box 3: Manuscripts and reprints authored by Enderton include the following titles: "Approximating the Standard Model of Analysis,"
"An Infinitistic Rule of Proof," "Hierarchies in Recursive Function Theory," "Finite Partially Ordered Quantifiers," "On Provable
Recursive Functions," "A Good Property of the Hyperarithmetic Hierarchy," and "Hierarchies Over Recursive Well-Orderings."
Box 4: Reprints include the following titles: "Elements of Recursion Theory," "Set Theory," "Alonzo Church and the Reviews"
and "In Memoriam: Alonzo Church."
box 3, folder 6
Reviews
1971-1988
Scope and Content
Enderton's correspondence with publishers regarding his reviews of publications.
box 3, folder 7
Referee reports
1970-1977
Scope and Content
Enderton's correspondence, notes and referee reports on papers submitted to the JSL.
box 3, folder 8
Bulletin of Symbolic Logic
1993
Scope and Content
Correspondence concerning the ASL's establishment of the Bulletin of Symbolic Logic (BSL). According to the ASL, the BSL's
main purpose is to help the logic community keep abreast of important developments in all parts of its discipline. The Reviews
Section was published in The Journal of Symbolic Logic from its founding in 1936 until March 2000 when the Reviews Section
was moved to the BSL by the Association. The history of the Reviews is discussed in Enderton's article, "Alonzo Church and
the Reviews" and published in the BSL in 1998. Reprints of this article may be found within Box 3 and 4 of his publications
files.
box 4, folder 2
Turing 50 paper
Scope and Content
Correspondence to Enderton inviting his contribution to a volume of essays written to commemorate the 50th anniversary of
the Universal Turing Machine.
box 4, folder 3-4
Logic Colloquium
1975-2009
Scope and Content
Correspondence and announcements concerning Logic Colloquiums at UCLA, also known as VIG (Very Informal Gathering of Logicians).
box 5, folder 1
AC 80
Scope and Content
Correspondence concerning Alonzo Church's 80th birthday celebration.
box 6, folder 1
Book on Set Theory
Scope and Content
Correspondence and notes concerning Enderton's book,
Elements of Set Theory.
box 6, folder 2
Colloquium talks
1964-2001
Scope and Content
Enderton's Logic Colloquium notes and transcripts of talks.
box 6, folder 3
Vita
Scope and Content
Enderton's curriculum vitae, lists of reviews, biographical summary and lists of publications.
box 6, folder 4
Library guides
Scope and Content
Informational guides for UCLA libraries.
box 6, folder 5-8
Church manuscripts and reprints
1941-1976
Scope and Content
Alonzo Church's manuscripts and reprints include the following titles: "Misogyny and Ontological Commitment," "Application
of Recursive Arithmetic in the Theory of Computers and Automata," "Remarks on the Elementary Theory of Differential Equations
as an Area of Research," "Elementary Topics in Mathematical Logic: Set Theory," "Comparison of Russell's Resolution of the
Semantical Antinomies with that of Tarski," "An Independence Question in Recursive Arithmetic," "Logic and Analysis," "Mathematics
and Logic," "The Need for Abstract Entities in Semantic Analysis," "Nominalism and Logic," "Set Theory with a Universal Set,"
"Outline of a Revised Formulation of the Logic of Sense and Denotation," "On the Form of Differential Equations of a System
of Paths," "Paul J. Cohen and the Continuum Problem" and "The Weak Theory of Implication." Materials also include Church's
handwritten notes attached to specific papers and Church's correspondence with the Encyclopaedia Britannica Editorial Department.