Descriptive Summary
Van Heijenoort, Jean,
1912-
Jean Van Heijenoort Papers,
1946-1988Materials are written in English and French.
16 ft. manuscript,
typescript, printed.
Archives of American Mathematics, Center for
American History, The University of Texas at
Austin
Collection documents the
career of Jean van Heijenoort (1912-1986) in mathematical logic and its
history.
Related Material
Material related to van Heijenoort's years (1932-1939) as personal
secretary to Leon Trotsky is at the Houghton Library at Harvard University.
Records of his editing of the
Collected Works of Kurt Gödel (with Solomon
Feferman and others, 1985) are at Stanford University.
Preferred Citation
Jean Van Heijenoort Papers, 1946-1988, Archives of American Mathematics,
Center for American History, University of Texas at Austin
Index terms
Van Heijenoort, Jean
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical -
history
Biographical Note
Jean van Heijenoort was born in Creil, France, on July 13, 1912. He was
educated at the Lycée St. Louis in Paris. From 1932 to 1939, he served as Leon
Trotsky's personal secretary. Van Heijenoort left Trotsky in 1939 and came to
the United States, where his interests turned to mathematical logic. He
received his Ph.D. from New York University in 1949, and taught in the New York
University Mathematics Department until 1965, when he moved to the Department
of Philosophy and the History of Ideas at Brandeis University, becoming
Professor Emeritus in 1977. He died in Mexico City on March 28, 1986.
Van Heijenoort is best-known for his work in the history of logic; he
was the editor of
From Frege to Gödel: A Source Book in Mathematical
Logic, 1879-1931 (1967). He was also the author of several
non-historical works in mathematical logic. Some of this work appeared in his
Selected Essays (1985), but most remains unpublished. His experiences with
Trotsky are recounted in his
With Trotsky in Exile: From Prinkipo to
Coyoacán (1978).
Source:
Jean van Heijenoort, Former Trotsky
Aide, New York Times, April 11, 1986
Scope and Contents
The Jean van Heijenoort Papers consist of two parts: (1) papers
transferred to the Archives of American Mathematics after his death, (2)
records of the preparation of
From Frege to Gödel (donated by Professor
van Heijenoort in 1981). The posthumous donation consists of his writings
(including his thesis and dissertation, reprints, texts of lectures,
unpublished works, and some letters) (1946-1982; 8 in.), correspondence
(1956-1983; 1 in.), research notes and unfinished work (3.5 ft.), and a
collection of writings of others (including reprints, preprints, duplicated
lecture notes, etc.) (7 ft.). The records of
From Frege to Gödel consist of
correspondence (1953-1976) together with associated manuscript material (8
in.), and a collection of reprints, preprints, etc. (7 ft.). Correspondents
include A. Church, B. Dreben, Kurt Gödel, S. C. Kleene, R. Martin, C. D.
Parsons, W. V. Quine, and H. Wang.
Papers relating to van Heijenoort (1974-1988; 3 in.) donated by his
doctoral student, Dr. Irving H. Anellis, include correspondence with, and
concerning, van Heijenoort, notes of his courses, and Dr. Anellis' writings
about van Heijenoort.
Organization
Organized into six series:
- Writings of Jean Van Heijenoort
- Correspondence:
- Work [Research notes, unfinished work]
- Writings of others [reprints, preprints, duplicated lecture notes,
etc.]
- From Frege to Gödel
- Correspondence
- Writings of others
- Material donated by Irving H. Anellis
Use Restrictions
These papers are stored remotely. Please contact reference staff for
offsite retrieval.
Writings of Jean van Heijenoort:
3.8/86-33/1
On the correspondence between E. Cartan's method and the
vector method in differential geometry,
1946
3.8/86-33/1
On locally convex surfaces,
1949
3.8/86-33/1
On locally convex manifolds,
1952
3.8/86-33/1
Topology,
1955
3.8/86-33/1
On the calculation of the asymptotic value of a sum of
exponentials,
1956
3.8/86-33/1
On the determination of coefficients in a sum of
exponentials,
1957
3.8/86-33/1
Draft of a letter to Nagel (not sent),
1962
3.8/86-33/1
Points and tensors,
1963
3.8/86-33/1
Brouwer,
1963
3.8/86-33/1
Mathematics, Logical structure of,
1963
3.8/86-33/1
Set theory,
1963
3.8/86-33/1
Logic,
1965
3.8/86-33/1
Conversation with de Jongh,
Sept. 9, 1965
3.8/86-33/1
Logic,
1966
3.8/86-33/1
Interpretations, satisfiability, validity,
1966
3.8/86-33/1
The set-theoretic approach to logic,
1966
3.8/86-33/1
The subformula approach to logic,
1966
3.8/86-33/1
Report on Schagrin,
December 8, 1966
3.8/86-33/1
Gödel's theorem,
1967
3.8/86-33/1
Logical paradoxes,
1967
3.8/86-33/1
From Frege to Gödel,
1967
3.8/86-33/1
Notes
3.8/86-33/1
Reviews
3.8/86-33/1
Mail
3.8/86-33/1
Copyrights
3.8/86-33/1
Logic as calculus and logic as language (abstract),
1967
3.8/86-33/1
Logic as calculus and logic as language,
1967
3.8/86-33/1
Note on Herbrand,
January 28, 1967
3.8/86-33/1
Report on Stoliar,
July 15, 1967
3.8/86-33/1
Préface àHerbrand,
Ecrits logiques,
1968
3.8/86-33/1
La logique comme calcul et la logique comme langage,
1968
3.8/86-33/1
Un procédé de démonstration en calcul des predicats,
January 15, 1968
3.8/86-33/1
Finitisme et infinitisme en logique,
January 18, 1968
3.8/86-33/1
Report on Kuyk,
June 20, 1968
3.8/86-33/1
Note,
October 31, 1968
3.8/86-33/1
On the relation between the falsifiability tree method and
the Herbrand method in quantification theory,
November 20, 1968
3.8/86-33/1
Frege and Gädel,
1970
3.8/86-33/1
Notes on the tree method,
October 15, 1971
3.8/86-33/1
Notes on logic,
October 15, 1971
3.8/86-33/1
Notes on logic,
November 1, 1971
3.8/86-33/1
Review of Szabo,
1972
3.8/86-33/1
Herbrand,
1972
3.8/86-33/1
Proof of the completeness of the method of Beth tableaux
for intuitionistic quantification theory,
1972
3.8/86-33/1
Proof of the completeness of the method of Beth tableaux,
March 1, 1972
3.8/86-33/1
Falsifiability trees,
March 15, 1972
3.8/86-33/1
The tree method for intuitionistic quantification theory,
March 18, 1972
3.8/86-33/1
The tableaux method for Grzegorczyk quantification theory,
March 18, 1972
3.8/86-33/1
The tree method for intuitionistic quantification theory,
March 19, 1972
3.8/86-33/1
The falsifiability-tree method for the simple theory of
types with extensionality,
July 23, 1972
3.8/86-33/1
Comparison between the falsifiability-tree method and the
Gentzen system,
May 3, 1973
3.8/86-33/1
A nonnormalizable system,
June 8, 1973
3.8/86-33/1
Soundness and completeness of the falsifiability-tree
method for sentential logic,
September 23, 1973
3.8/86-33/1
Subject and predicate in Western logic,
1974
3.8/86-33/1
Historical development of modern logic,
1974
3.8/86-33/1
Review of Chihara,
1974
3.8/86-33/1
Falsifiability trees,
30 September, 1974
3.8/86-33/1
Monadic translation of sentential modal logic,
October 31, 1974
3.8/86-33/1
The tree method for sentential modal logics,
November 3, 1974
3.8/86-33/1
Translation of modal quantification theory into nonmodal
quantification theory,
November 15, 1974
3.8/86-33/1
On the number of planets,
November 24, 1974
3.8/86-33/1
The tree method for intuitionistic quantification theory,
May 9, 1975
3.8/86-33/1
Notes on logic,
1975
3.8/86-33/1
The falsifiability-tree method for sentential
intuitionistic logic,
May 15, 1975
3.8/86-33/1
Herbrand,
May 18, 1975
3.8/86-33/1
Sense in Frege, Clermont-Ferrand,
July 24, 1975
3.8/86-33/1
Falsifiability trees,
September 30, 1975
3.8/86-33/1
Translation of modal quantification theory into classical
second-order logic,
November 20, 1975
3.8/86-33/1
Correspondence with Prawitz,
1975-1976
3.8/86-33/1
The Herbrand approach to predicate logic,
1976
3.8/86-33/1
Proof of the `semantic' Herbrand theorem,
1976
3.8/86-33/1
Herbrand expansions and Herbrand disjunctions,
1976
3.8/86-33/1
Should John be like every man?
1976
3.8/86-33/1
John and every man,
1976
3.8/86-33/1
Axiomatization and formalization,
1976
3.8/86-33/1
El desarrollo de la teoría de la
Cuantificatión,
1976
3.8/86-33/1
Set-theoretic semantics,
July, 1976
3.8/86-33/1
Méthode des arbres de falsifiabilité pour les logiques
modales propositionnelles,
November 20, 1976
3.8/86-33/1
Gödel,
1977
3.8/86-33/1
Hilbert,
1977
3.8/86-33/1
Monadic translation of sentential modal logic,
February 12, 1977
3.8/86-33/1
Modèles pour les logiques modales quantifiées,
March 13, 1977
3.8/86-33/1
Frege on sense identity,
1977
3.8/86-33/1
Sense in Frege,
1977
3.8/86-33/1
Letter to Anne Fagot,
December 27, 1978
3.8/86-33/1
Introduction àla sémantique des logiques non-classiques,
1979
3.8/86-33/1
Introduction àla sémantique des logiques non-classiques,
March, 1979
3.8/86-33/1
Absolutism and relativism in logic,
1979
3.8/86-33/1
Absolutismo y relativismo en lógica,
1979
3.8/86-33/1
Absolutismo y relativismo en lógica,
1979
3.8/86-33/1
Ostension and vagueness,
June 13, 1979
3.8/86-33/1
Rapport concernant M. Philippe de Rouilhan,
March 6, 1980
3.8/86-33/1
Rapport concernant M. de Rouilhan,
March 12, 1980
3.8/86-33/1
Letter to de Rouilhan,
March 24, 1980
3.8/86-33/1
Letter to Dreben,
November 5, 1980
3.8/86-33/1
On Herbrand's systems,
November 29, 1980
3.8/86-33/1
Letter to Suzanne Bachelard,
February 27, 1981
3.8/86-33/1
Letter to de Rouilhan,
February 27, 1981
3.8/86-33/1
Letter to de Rouilhan,
April 28, 1981
3.8/86-33/1
L'oeuvre logique de Jacques Herbrand et son contexte
historique,
1981
3.8/86-33/1
Letter to Quine,
November 13, 1981
3.8/86-33/1
Frege on vague predicates,
February 11, 1982
3.8/86-33/1
Letter to Dale M. Johnson,
April 5, 1982
3.8/86-33/1
Report on Orlowska,
June 14, 1982
3.8/86-33/1
Identity,
October 12, 1982
Correspondence:
3.8/86-33/1
Brunschwig
3.8/86-33/1
Church, A.
3.8/86-33/1
Corcoran, J.
3.8/86-33/1
Craig, W.
3.8/86-33/1
de Rouilhan, P.
3.8/86-33/1
Dreben, B.
3.8/86-33/1
Engel, P. (with manuscript)
3.8/86-33/1
Espié
3.8/86-33/1
Feferman, S.
3.8/86-33/1
Fraissé, R.
3.8/86-33/1
Goldfarb, W. D.
3.8/86-33/1
Hintikka, J.
3.8/86-33/1
Prawitz, D.
3.8/86-33/1
Zaslawsky, D.
Work:
[Research notes, unfinished work]
3.8/86-33/2
Ontology and logic
3.8/86-33/2
Pensée pure et langage
3.8/86-33/2
Protosyntax
3.8/86-33/2
Is a non-classical logic necessary to
mathematics?
3.8/86-33/2
Talk on Herbrand,
1982
3.8/86-33/2
Symbols, language
3.8/86-33/2
Natural deduction
3.8/86-33/2
Intuitionism
3.8/86-33/2
Logical form
3.8/86-33/2
Non-classical logics
3.8/86-33/2
References
3.8/86-33/2
Philosophy
3.8/86-33/2
Current
3.8/86-33/2
Logic problems
3.8/86-33/2
Logic - notes
3.8/86-33/2
Logic - quotations
3.8/86-33/2
Functionals
3.8/86-33/2
Non-classical logics - miscellaneous
3.8/86-33/2
Sense in Frege
3.8/86-33/2
Frege misunderstood
3.8/86-33/2
Post-Gödelian systems
3.8/86-33/2
Non-classical logics - papers
3.8/86-33/2
Categoricalness
3.8/86-33/2
Review of Chihara
3.8/86-33/2
Logic and psychology
3.8/86-33/2
Löwenheim
3.8/86-33/2
Notebooks, small
3.8/86-33/2
Functionals
3.8/86-33/2
Foundations of geometry
3.8/86-33/2
Simple theory of types
3.8/86-33/2
Rigidity
3.8/86-33/2
Herbrand (materials)
3.8/86-33/2
Herbrand - Kreisel on Herbrand
3.8/86-33/2
Herbrand, non-classical
3.8/86-33/2
Herbrand
3.8/86-33/2
Set-theoretic semantics
3.8/86-33/2
Universalization
3.8/86-33/2
On the completeness of first-order logic
3.8/86-33/2
On the Frege-Russell definition of number
3.8/86-33/2
Nature of mathematics
3.8/86-33/2
Higher-order calculi
3.8/86-33/2
Turing machines
3.8/86-33/2
Foundations of mathematics, Arithmetic and Gödel's
theorem
3.8/86-33/2
One-valued logics
3.8/86-33/2
On narrative discourse
3.8/86-33/2
Theory of logic
3.8/86-33/2
Paradoxes
3.8/86-33/2
Recursive functions (definition of)
3.8/86-33/2
Induction
3.8/86-33/2
Intuitionism
3.8/86-33/2
The number system
3.8/86-33/2
Husserl
3.8/86-33/2
Axiomatization of number theory
3.8/86-33/2
Theorem-proving by machine
3.8/86-33/2
Notes
3.8/86-33/2
Foundations of mathematics
3.8/86-33/2
Independence proofs
3.8/86-33/2
Axiom of infinity
3.8/86-33/2
Consistency
3.8/86-33/2
Infinite proofs
3.8/86-33/2
Ordinals
3.8/86-33/2
Categoricalness, Proof of (and discussion)
3.8/86-33/2
Formalization of a theory
3.8/86-33/2
Finite (definition of)
3.8/86-33/2
Formalization of number theory
3.8/86-33/2
Formal semantic
3.8/86-33/3
The axiomatic method
3.8/86-33/3
On the notion of recursive function
3.8/86-33/3
Set theory
3.8/86-33/3
Recursive function theory
3.8/86-33/3
Recursive definitions
3.8/86-33/3
A survey of logic, The subformula approach to
logic
3.8/86-33/3
Conventionalism - logical
3.8/86-33/3
Conventionalism, Poincaré and Reichenbach
3.8/86-33/3
Definition
3.8/86-33/3
Descriptive set theory
3.8/86-33/3
Craig's lemma
3.8/86-33/3
Type theory
3.8/86-33/3
Completeness
3.8/86-33/3
Contra Lemmon
3.8/86-33/3
Conventionalism - Arithmetical
3.8/86-33/3
Conventionalism - Geometrical
3.8/86-33/3
Prenex forms
3.8/86-33/3
Philosophy of logic
3.8/86-33/3
Category theory
3.8/86-33/3
Philo lectures
3.8/86-33/3
Logic, Indian
3.8/86-33/3
[unlabeled, notes on logic literature]
3.8/86-33/3
On Gödel's theorem
3.8/86-33/3
La petite plante
3.8/86-33/3
Subject and predicate
3.8/86-33/3
Algebraic logic
3.8/86-33/3
Theory of descriptions
3.8/86-33/3
Combinatory logic
3.8/86-33/3
Hegel
3.8/86-33/3
Notes (Philosophy)
3.8/86-33/3
Ex falso sequitur quodlibet
3.8/86-33/3
Subjects
3.8/86-33/3
Infinitary languages
3.8/86-33/3
Beth's error
3.8/86-33/3
Misc. notes - Logic
3.8/86-33/3
Misc. notes on logic
3.8/86-33/3
Copié
3.8/86-33/3
Philosophy of logic
3.8/86-33/3
Received from J. D.,
October 12, 1982
3.8/86-33/3
Alphabetical order
3.8/86-33/3
Neat numbers
3.8/86-33/3
Logic, Nature of
3.8/86-33/3
A survey of logic, miscellaneous notes
3.8/86-33/4
Moore
3.8/86-33/4
Coffa
3.8/86-33/4
Hintikka
3.8/86-33/4
Hintikka,
1975
3.8/86-33/4
Hintikka,
1957
3.8/86-33/4
Hintikka and Rantala
3.8/86-33/4
Vagueness, Incomplete entities
3.8/86-33/4
Du vague (copy)
3.8/86-33/4
Frege and vagueness (copy)
3.8/86-33/4
Frege and vagueness - materials
3.8/86-33/4
Frege and vagueness
3.8/86-33/4
Ostension and vagueness
3.8/86-33/4
Du vague - Lecture in French
3.8/86-33/4
Vagueness - Notes courant
3.8/86-33/4
Vagueness - Notes
3.8/86-33/4
Vagueness - Sea battle
3.8/86-33/4
Vagueness
3.8/86-33/4
Frege and vagueness,
August 23, 1982
3.8/86-33/4
Frege on vague predicates
3.8/86-33/4
Vagueness
3.8/86-33/4
Cashier
3.8/86-33/4
Current
3.8/86-33/4
Intuitionism and vagueness
3.8/86-33/4
Leibniz, Dedekind, Frege
3.8/86-33/4
Materials
3.8/86-33/4
Noise and vagueness
3.8/86-33/4
Poincaré
3.8/86-33/4
Probability, information theory
3.8/86-33/4
Realism and bivalence
3.8/86-33/4
References
3.8/86-33/4
Time
3.8/86-33/4
Undecidability and vagueness
3.8/86-33/4
Notes diverses
3.8/86-33/4
Ostension
3.8/86-33/4
Intension
3.8/86-33/4
Substitutional quantification
3.8/86-33/4
Valuations
3.8/86-33/4
Frege's
Farbung
3.8/86-33/4
A fashionable quotation
3.8/86-33/4
Notes philosophiques
3.8/86-33/4
Frege's universe
3.8/86-33/4
Alston
3.8/86-33/4
Ayer
3.8/86-33/4
Frege - Über das Trägheitsgesetz
3.8/86-33/4
Haack
3.8/86-33/4
Kreisel, Review of Brouwer's Cambridge lectures,
1982
3.8/86-33/4
Parikh,
1977
3.8/86-33/4
Parikh,
1981
3.8/86-33/4
Peirce
3.8/86-33/4
Posy
3.8/86-33/4
Putnam,
1982
3.8/86-33/4
Quine, Facts of the matter,
1977
3.8/86-33/4
Quine,
1980
3.8/86-33/4
Russell, Vagueness,
1923
3.8/86-33/4
Van Dalen,
1978
3.8/86-33/4
Zadeh
3.8/86-33/4
Girard
3.8/86-33/4
Brouwer, Cambridge lectures
3.8/86-33/4
Troelstra, Choice sequences
3.8/86-33/4
Category theory
3.8/86-33/4
Distributions
3.8/86-33/4
Bell
3.8/86-33/4
Fourman and Scott
3.8/86-33/4
Notes politiques
3.8/86-33/4
de Rouilhan
3.8/86-33/4
Notes to be classified - Logic
Writings of others:
[reprints, preprints, duplicated lecture notes, etc.]
3.8/86-33/5
Papers
[folder of unsorted papers]
3.8/86-33/5
A - Engel
3.9/86-33/6
Epistemologie Sociologique - Grattan-Guinness
3.9/86-33/7
Grattan-Guinness - K
3.9/86-33/8
L - Quine
3.9/86-33/9
Quine - Tait
3.9/86-33/10
Tait - Zucker
From Frege to Gödel:
3.8/86-33/11
Correspondence:
["M" indicates presence of manuscript(s) in addition to letters.
"*" indicates no letters to or from van Heijenoort.]
3.8/86-33/11
Ackerman, Hans Richard
3.8/86-33/11
Ackerman, Wilhelm
3.8/86-33/11
Artin, Emil
3.8/86-33/11
Bernays, Paul
3.8/86-3311
to Dreben, B.
3.8/86-3311
to Goldfarb
3.8/86-3311
Beth, E. W.
3.8/86-3311
Cassina, U.
3.8/86-3311
Church, A. [M]
3.8/86-3311
Corcoran, John
3.8/86-3311
Curry, Haskell B.
3.8/86-3311
Dawson, John W., Jr.,
1982-1986
3.8/86-3311
De Jongh
3.8/86-33/11
*Dedekind, Richard [M]
3.8/86-33/11
to H. Keferstein
3.8/86-33/11
Dreben, Burton [M]
3.8/86-33/11
to Bernays, P.
3.8/86-33/11
Gödel, K. (with reply)
3.8/86-33/11
Hailperin, T. (with reply)
3.8/86-33/11
Mints, G. E.
3.8/86-33/11
Schutte, K.
3.8/86-33/11
*Fenstad, Jens Erik
3.8/86-33/11
to Savitt, S.
3.8/86-33/11
Finsler, P.
3.8/86-33/11
Follesdal, Dagfinn
3.8/86-33/11
Fraenkel, Abraham A.
3.8/86-33/11
Gilmore, Paul
3.8/86-33/11
*Girard, Jean-Yves [M]
3.8/86-33/11
Gödel, Kurt
3.8/86-33/11
to Davis, M.
3.8/86-33/11
Quine, W. V.
3.8/86-33/11
Goodstein, R. L.
3.8/86-33/12
*Herbrand, Documents ENS
[photocopies of letters and documents
circa 1931. Includes letters of E. Artin,
J. Herbrand, and E. Noether]
3.8/86-33/12
Hermes, Hans
3.8/86-33/12
Heyting, A.
3.8/86-33/12
Isles, David
3.8/86-33/12
*Keferstein, H. [M]
3.8/86-33/12
to Dedekind
3.8/86-33/12
Kleene, S. C. [M]
3.8/86-33/12
to Dreben, B.
3.8/86-33/12
Koerner, S.
3.8/86-33/12
Kolmogorov, A. H.
3.8/86-33/12
Leaf, Michelina
3.8/86-33/12
Martin, Roger [M]
3.8/86-33/12
Martin-Loef, Per
3.8/86-33/12
Montague
3.8/86-33/12
Moschovakis, Yiannis N.
3.8/86-33/12
Myhill
3.8/86-33/12
Nagel, Ernst
3.8/86-33/12
Parsons, Charles D.
3.8/86-33/12
correspondence with G. Kreisel
3.8/86-33/12
Patzig, Guenther
3.8/86-33/12
to Dreben, B.
3.8/86-33/12
correspondence of van H. with J. Sprute
3.8/86-33/12
Quine, W. V.
3.8/86-33/12
to Elder, J. (Harvard Univ. Press)
3.8/86-33/12
Gochet
3.8/86-33/12
Gödel, K.
3.8/86-33/12
Granger, M.
3.8/86-33/12
Correspondence of Quine and van H. with J. C.
Thiel
3.8/86-33/12
Raggio, A.
3.8/86-33/12
Russell, Bertrand
3.8/86-33/12
to Frege
3.8/86-33/12
Scanlon, T.
3.8/86-33/12
*Scott, Dana S.
3.8/86-33/12
to B. Dreben/H. Wang
3.8/86-33/12
Skolem, Th. [M]
3.8/86-33/12
D. Follesdal to van H.
3.8/86-33/12
V. F. Rickey to van H.
3.8/86-33/12
Tarski, Alfred
3.8/86-33/12
van Heijenoort, J. On Herbrand's Systems,
1980
3.8/86-33/12
Vesley, Richard E.
3.8/86-33/12
Wang, Hao [M]
3.8/86-33/12
to Dreben, B.
3.8/86-33/12
Weil, A.
3.8/86-33/12
Wiener, Norbert
3.8/86-33/12
Wilder, Raymond L.
Writings of others:
3.8/86-33/13
A - Beth (Includes correspondence with P. B.
Andrews)
3.8/86-33/14
Biardeau - Church
3.8/86-33/15
Cohen - Culmer
3.8/86-33/16
Cummins - Feferman
3.8/86-33/17
Feferman - Gergonne
3.8/86-33/18
Giannattasio - Guillaume
3.8/86-33/19
H
3.8/86-33/20
I
3.8/86-33/21
J - L
3.8/86-33/22
M - O
3.8/86-33/23
P - Q
3.8/86-33/24
R - Scott
3.8/86-33/25
Se - Szabo
3.8/86-33/26
T - V
3.8/86-33/27
W - Z, and unidentified
Material donated by Irving H. Anellis:
3.8/86-33/28
Item list by Irving H. Anellis; Correspondence with van
Heijenoort; Manuscripts by van Heijenoort; Newspaper clippings
3.8/86-33/28
Correspondence and notes concerning van Heijenoort; Jean
van Heijenoort, his life and contributions to logic, by Irving H.
Anellis
3.8/86-33/28
Writings about van Heijenoort by Dr. Anellis
3.8/86-33/28
List of van Heijenoort's courses; Examinations; Course
notes: Logic and ontology, Theories of quantification, Intermediate
logic
3.8/86-33/28
Course notes: Advanced topics in logic: Frege, Foundations
of mathematics