A Guide to the Jean Van Heijenoort Papers,
1946-1988
|
|
|
|
|
Creator: |
Van Heijenoort, Jean,
1912- |
|
Title: |
Jean Van Heijenoort Papers,
|
|
Dates: |
1946-1988 |
|
Abstract: |
Collection documents the
career of Jean van Heijenoort (1912-1986) in mathematical logic and its
history. |
|
Extent: |
16 ft. manuscript,
typescript, printed. |
|
Languages: |
Materials are written in English and French. |
|
Repository: |
Dolph Briscoe Center for American
History, The University of Texas at
Austin |
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
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
This collection is stored remotely at CDL. Advance notice required for retrieval.
Contact repository for retrieval.
|
|
|
|
|
|
|
|
|
|
Van Heijenoort, Jean |
|
|
Logic, Symbolic and mathematical |
|
|
Logic, Symbolic and mathematical -
history |
|
|
|
|
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.
|
Jean Van Heijenoort Papers, 1946-1988, Archives of American Mathematics,
Dolph Briscoe Center for American History, University of Texas at Austin.
Detailed Description of the Collection
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Writings of Jean van Heijenoort: |
| Box |
| 94-127/1 |
|
|
On the correspondence between E. Cartan's method and the
vector method in differential geometry,
1946 |
|
|
|
On locally convex surfaces,
1949 |
|
|
|
On locally convex manifolds,
1952 |
|
|
|
Topology,
1955 |
|
|
|
On the calculation of the asymptotic value of a sum of
exponentials,
1956 |
|
|
|
On the determination of coefficients in a sum of
exponentials,
1957 |
|
|
|
Draft of a letter to Nagel (not sent),
1962 |
|
|
|
Points and tensors,
1963 |
|
|
|
Brouwer,
1963 |
|
|
|
Mathematics, Logical structure of,
1963 |
|
|
|
Set theory,
1963 |
|
|
|
Logic,
1965 |
|
|
|
Conversation with de Jongh,
Sept. 9, 1965 |
|
|
|
Logic,
1966 |
|
|
|
Interpretations, satisfiability, validity,
1966 |
|
|
|
The set-theoretic approach to logic,
1966 |
|
|
|
The subformula approach to logic,
1966 |
|
|
|
Report on Schagrin,
December 8, 1966 |
|
|
|
Gödel's theorem,
1967 |
|
|
|
Logical paradoxes,
1967 |
|
|
|
From Frege to Gödel, 1967 |
|
|
|
|
Notes |
|
|
|
|
Reviews |
|
|
|
|
Mail |
|
|
|
|
Copyrights |
|
|
|
Logic as calculus and logic as language (abstract),
1967 |
|
|
|
Logic as calculus and logic as language,
1967 |
|
|
|
Note on Herbrand,
January 28, 1967 |
|
|
|
Report on Stoliar,
July 15, 1967 |
|
|
|
Préface àHerbrand,
Ecrits logiques, 1968 |
|
|
|
La logique comme calcul et la logique comme langage,
1968 |
|
|
|
Un procédé de démonstration en calcul des predicats,
January 15, 1968 |
|
|
|
Finitisme et infinitisme en logique,
January 18, 1968 |
|
|
|
Report on Kuyk,
June 20, 1968 |
|
|
|
Note,
October 31, 1968 |
|
|
|
On the relation between the falsifiability tree method and
the Herbrand method in quantification theory,
November 20, 1968 |
|
|
|
Frege and Gädel,
1970 |
|
|
|
Notes on the tree method,
October 15, 1971 |
|
|
|
Notes on logic,
October 15, 1971 |
|
|
|
Notes on logic,
November 1, 1971 |
|
|
|
Review of Szabo,
1972 |
|
|
|
Herbrand,
1972 |
|
|
|
Proof of the completeness of the method of Beth tableaux
for intuitionistic quantification theory,
1972 |
|
|
|
Proof of the completeness of the method of Beth tableaux,
March 1, 1972 |
| Box |
| 94-127/2 |
|
|
Falsifiability trees,
March 15, 1972 |
|
|
|
The tree method for intuitionistic quantification theory,
March 18, 1972 |
|
|
|
The tableaux method for Grzegorczyk quantification theory,
March 18, 1972 |
|
|
|
The tree method for intuitionistic quantification theory,
March 19, 1972 |
|
|
|
The falsifiability-tree method for the simple theory of
types with extensionality,
July 23, 1972 |
|
|
|
Comparison between the falsifiability-tree method and the
Gentzen system,
May 3, 1973 |
|
|
|
A nonnormalizable system,
June 8, 1973 |
|
|
|
Soundness and completeness of the falsifiability-tree
method for sentential logic,
September 23, 1973 |
|
|
|
Subject and predicate in Western logic,
1974 |
|
|
|
Historical development of modern logic,
1974 |
|
|
|
Review of Chihara,
1974 |
|
|
|
Falsifiability trees,
30 September, 1974 |
|
|
|
Monadic translation of sentential modal logic,
October 31, 1974 |
|
|
|
The tree method for sentential modal logics,
November 3, 1974 |
|
|
|
Translation of modal quantification theory into nonmodal
quantification theory,
November 15, 1974 |
|
|
|
On the number of planets,
November 24, 1974 |
|
|
|
The tree method for intuitionistic quantification theory,
May 9, 1975 |
|
|
|
Notes on logic,
1975 |
|
|
|
The falsifiability-tree method for sentential
intuitionistic logic,
May 15, 1975 |
|
|
|
Herbrand,
May 18, 1975 |
|
|
|
Sense in Frege, Clermont-Ferrand,
July 24, 1975 |
|
|
|
Falsifiability trees,
September 30, 1975 |
|
|
|
Translation of modal quantification theory into classical
second-order logic,
November 20, 1975 |
|
|
|
Correspondence with Prawitz,
1975-1976 |
|
|
|
The Herbrand approach to predicate logic,
1976 |
|
|
|
Proof of the `semantic' Herbrand theorem,
1976 |
|
|
|
Herbrand expansions and Herbrand disjunctions,
1976 |
|
|
|
Should John be like every man?
1976 |
|
|
|
John and every man,
1976 |
|
|
|
Axiomatization and formalization,
1976 |
|
|
|
El desarrollo de la teoría de la
Cuantificatión, 1976 |
|
|
|
Set-theoretic semantics,
July, 1976 |
|
|
|
Méthode des arbres de falsifiabilité pour les logiques
modales propositionnelles,
November 20, 1976 |
|
|
|
Gödel,
1977 |
|
|
|
Hilbert,
1977 |
|
|
|
Monadic translation of sentential modal logic,
February 12, 1977 |
|
|
|
Modèles pour les logiques modales quantifiées,
March 13, 1977 |
|
|
|
Frege on sense identity,
1977 |
|
|
|
Sense in Frege,
1977 |
|
|
|
Letter to Anne Fagot,
December 27, 1978 |
|
|
|
Introduction àla sémantique des logiques non-classiques,
1979 |
|
|
|
Introduction àla sémantique des logiques non-classiques,
March, 1979 |
|
|
|
Absolutism and relativism in logic,
1979 |
|
|
|
Absolutismo y relativismo en lógica,
1979 |
|
|
|
Absolutismo y relativismo en lógica,
1979 |
|
|
|
Ostension and vagueness,
June 13, 1979 |
|
|
|
Rapport concernant M. Philippe de Rouilhan,
March 6, 1980 |
|
|
|
Rapport concernant M. de Rouilhan,
March 12, 1980 |
|
|
|
Letter to de Rouilhan,
March 24, 1980 |
|
|
|
Letter to Dreben,
November 5, 1980 |
|
|
|
On Herbrand's systems,
November 29, 1980 |
| Box |
| 94-127/3 |
|
|
Letter to Suzanne Bachelard,
February 27, 1981 |
|
|
|
Letter to de Rouilhan,
February 27, 1981 |
|
|
|
Letter to de Rouilhan,
April 28, 1981 |
|
|
|
L'oeuvre logique de Jacques Herbrand et son contexte
historique,
1981 |
|
|
|
Letter to Quine,
November 13, 1981 |
|
|
|
Frege on vague predicates,
February 11, 1982 |
|
|
|
Letter to Dale M. Johnson,
April 5, 1982 |
|
|
|
Report on Orlowska,
June 14, 1982 |
|
|
|
Identity,
October 12, 1982 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Correspondence: |
| Box |
| 94-127/3 |
|
|
Brunschwig |
|
|
|
Church, A. |
|
|
|
Corcoran, J. |
|
|
|
Craig, W. |
|
|
|
de Rouilhan, P. |
|
|
|
Dreben, B. |
|
|
|
Engel, P. (with manuscript) |
|
|
|
Espié |
|
|
|
Feferman, S. |
|
|
|
Fraissé, R. |
|
|
|
Goldfarb, W. D. |
|
|
|
Hintikka, J. |
|
|
|
Prawitz, D. |
|
|
|
Zaslawsky, D. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Work: |
|
[Research notes, unfinished work] |
| Box |
| 94-127/4 |
|
|
Ontology and logic |
|
|
|
Pensée pure et langage |
|
|
|
Protosyntax |
|
|
|
Is a non-classical logic necessary to
mathematics? |
|
|
|
Talk on Herbrand,
1982 |
|
|
|
Symbols, language |
|
|
|
Natural deduction |
|
|
|
Intuitionism |
|
|
|
Logical form |
|
|
|
Non-classical logics |
|
|
|
|
References |
|
|
|
|
Philosophy |
|
|
|
|
Current |
|
|
|
Logic problems |
|
|
|
Logic - notes |
|
|
|
Logic - quotations |
|
|
|
Functionals |
|
|
|
Non-classical logics - miscellaneous |
|
|
|
Sense in Frege |
|
|
|
Frege misunderstood |
|
|
|
Post-Gödelian systems |
|
|
|
Non-classical logics - papers |
|
|
|
Categoricalness |
|
|
|
Review of Chihara |
|
|
|
Logic and psychology |
|
|
|
Löwenheim |
|
|
|
Notebooks, small |
|
|
|
Functionals |
|
|
|
Foundations of geometry |
|
|
|
Simple theory of types |
|
|
|
Rigidity |
|
|
|
Herbrand (materials) |
|
|
|
Herbrand - Kreisel on Herbrand |
|
|
|
Herbrand, non-classical |
| Box |
| 94-127/5 |
|
|
Herbrand |
|
|
|
Set-theoretic semantics |
|
|
|
Universalization |
|
|
|
On the completeness of first-order logic |
|
|
|
On the Frege-Russell definition of number |
|
|
|
Nature of mathematics |
|
|
|
Higher-order calculi |
|
|
|
Turing machines |
|
|
|
Foundations of mathematics, Arithmetic and Gödel's
theorem |
|
|
|
One-valued logics |
|
|
|
On narrative discourse |
|
|
|
Theory of logic |
|
|
|
Paradoxes |
|
|
|
Recursive functions (definition of) |
|
|
|
Induction |
|
|
|
Intuitionism |
|
|
|
The number system |
|
|
|
Husserl |
|
|
|
Axiomatization of number theory |
|
|
|
Theorem-proving by machine |
|
|
|
Notes |
|
|
|
Foundations of mathematics |
|
|
|
Independence proofs |
|
|
|
Axiom of infinity |
| Box |
| 94-127/6 |
|
|
Consistency |
|
|
|
Infinite proofs |
|
|
|
Ordinals |
|
|
|
Categoricalness, Proof of (and discussion) |
|
|
|
Formalization of a theory |
|
|
|
Finite (definition of) |
|
|
|
Formalization of number theory |
|
|
|
Formal semantic |
|
|
|
The axiomatic method |
|
|
|
On the notion of recursive function |
|
|
|
Set theory |
|
|
|
Recursive function theory |
|
|
|
Recursive definitions |
|
|
|
A survey of logic, The subformula approach to
logic |
|
|
|
Conventionalism - logical |
|
|
|
Conventionalism, Poincaré and Reichenbach |
|
|
|
Definition |
|
|
|
Descriptive set theory |
|
|
|
Craig's lemma |
|
|
|
Type theory |
|
|
|
Completeness |
|
|
|
Contra Lemmon |
|
|
|
Conventionalism - Arithmetical |
|
|
|
Conventionalism - Geometrical |
|
|
|
Prenex forms |
|
|
|
Philosophy of logic |
|
|
|
Category theory |
|
|
|
Philo lectures |
|
|
|
Logic, Indian |
|
|
|
[unlabeled, notes on logic literature] |
|
|
|
On Gödel's theorem |
|
|
|
La petite plante |
|
|
|
Subject and predicate |
|
|
|
Algebraic logic |
|
|
|
Theory of descriptions |
|
|
|
Combinatory logic |
|
|
|
Hegel |
|
|
|
Notes (Philosophy) |
|
|
|
Ex falso sequitur quodlibet |
|
|
|
Subjects |
|
|
|
Infinitary languages |
|
|
|
Beth's error |
|
|
|
Misc. notes - Logic |
|
|
|
Misc. notes on logic |
|
|
|
Copié |
|
|
|
Philosophy of logic |
|
|
|
Received from J. D.,
October 12, 1982 |
|
|
|
Alphabetical order |
|
|
|
Neat numbers |
|
|
|
Logic, Nature of |
|
|
|
A survey of logic, miscellaneous notes |
| Box |
| 94-127/7 |
|
|
Moore |
|
|
|
Coffa |
|
|
|
Hintikka |
|
|
|
Hintikka,
1975 |
|
|
|
Hintikka,
1957 |
|
|
|
Hintikka and Rantala |
|
|
|
Vagueness, Incomplete entities |
|
|
|
Du vague (copy) |
|
|
|
Frege and vagueness (copy) |
|
|
|
Frege and vagueness - materials |
|
|
|
Frege and vagueness |
|
|
|
Ostension and vagueness |
|
|
|
Du vague - Lecture in French |
|
|
|
Vagueness - Notes courant |
|
|
|
Vagueness - Notes |
|
|
|
Vagueness - Sea battle |
|
|
|
Vagueness |
|
|
|
Frege and vagueness,
August 23, 1982 |
|
|
|
Frege on vague predicates |
|
|
|
Vagueness |
|
|
|
|
Cashier |
|
|
|
|
Current |
|
|
|
|
Intuitionism and vagueness |
|
|
|
|
Leibniz, Dedekind, Frege |
|
|
|
|
Materials |
|
|
|
|
Noise and vagueness |
|
|
|
|
Poincaré |
|
|
|
|
Probability, information theory |
|
|
|
|
Realism and bivalence |
|
|
|
|
References |
|
|
|
|
Time |
|
|
|
|
Undecidability and vagueness |
|
|
|
Notes diverses |
|
|
|
Ostension |
|
|
|
Intension |
|
|
|
Substitutional quantification |
|
|
|
Valuations |
|
|
|
Frege's
Farbung |
|
|
|
A fashionable quotation |
|
|
|
Notes philosophiques |
|
|
|
Frege's universe |
|
|
|
Alston |
|
|
|
Ayer |
|
|
|
Frege - Über das Trägheitsgesetz |
|
|
|
Haack |
|
|
|
Kreisel, Review of Brouwer's Cambridge lectures,
1982 |
|
|
|
Parikh,
1977 |
|
|
|
Parikh,
1981 |
|
|
|
Peirce |
|
|
|
Posy |
|
|
|
Putnam,
1982 |
|
|
|
Quine, Facts of the matter,
1977 |
|
|
|
Quine,
1980 |
| Box |
| 94-127/8 |
|
|
Russell, Vagueness,
1923 |
|
|
|
Van Dalen,
1978 |
|
|
|
Zadeh |
|
|
|
Girard |
|
|
|
Brouwer, Cambridge lectures |
|
|
|
Troelstra, Choice sequences |
|
|
|
Category theory |
|
|
|
Distributions |
|
|
|
Bell |
|
|
|
Fourman and Scott |
|
|
|
Notes politiques |
|
|
|
de Rouilhan |
|
|
|
Notes to be classified - Logic, 1 of 2 |
| Box |
| 94-127/9 |
|
|
Notes to be classified - Logic, 2 of 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Writings of others: |
|
[reprints, preprints, duplicated lecture notes, etc.] |
| Box |
| 94-127/9 |
|
|
"Papers" |
|
|
|
|
[folder of unsorted papers] |
|
|
|
A - Blom |
| Box |
| 94-127/10 |
|
|
Bloom-Diller |
| Box |
| 94-127/11 |
|
|
Dreben-Girard |
| Box |
| 94-127/12 |
|
|
Girard-Hermes |
| Box |
| 94-127/13 |
|
|
Hermes-Kandel |
| Box |
| 94-127/14 |
|
|
Kaplan-Malament |
| Box |
| 94-127/15 |
|
|
Marchaisse-Prawitz |
| Box |
| 94-127/16 |
|
|
Prawitz-Schank |
| Box |
| 94-127/17 |
|
|
Scaltsas-Smith |
| Box |
| 94-127/18 |
|
|
Smith-Zucker |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
From Frege to Gödel: |
| Box |
| 94-127/19 |
|
|
Correspondence: |
|
|
|
|
["M" indicates presence of manuscript(s) in addition to letters.
"*" indicates no letters to or from van Heijenoort.] |
|
|
|
|
Ackerman, Hans Richard |
|
|
|
|
Ackerman, Wilhelm |
|
|
|
|
Artin, Emil |
|
|
|
|
Bernays, Paul |
|
|
|
|
|
to Dreben, B. |
|
|
|
|
|
to Goldfarb |
|
|
|
|
Beth, E. W. |
|
|
|
|
Cassina, U. |
|
|
|
|
Church, A. [M] |
|
|
|
|
Corcoran, John |
|
|
|
|
Curry, Haskell B. |
|
|
|
|
Dawson, John W., Jr.,
1982-1986 |
|
|
|
|
De Jongh |
|
|
|
|
*Dedekind, Richard [M] |
|
|
|
|
|
to H. Keferstein |
|
|
|
|
Dreben, Burton [M] |
|
|
|
|
|
to Bernays, P. |
|
|
|
|
|
|
Gödel, K. (with reply) |
|
|
|
|
|
|
Hailperin, T. (with reply) |
|
|
|
|
|
|
Mints, G. E. |
|
|
|
|
|
|
Schutte, K. |
|
|
|
|
*Fenstad, Jens Erik |
|
|
|
|
|
to Savitt, S. |
|
|
|
|
Finsler, P. |
|
|
|
|
Follesdal, Dagfinn |
|
|
|
|
Fraenkel, Abraham A. |
|
|
|
|
Gilmore, Paul |
|
|
|
|
*Girard, Jean-Yves [M] |
|
|
|
|
Gödel, Kurt |
|
|
|
|
|
to Davis, M. |
|
|
|
|
|
|
Quine, W. V. |
|
|
|
|
Goodstein, R. L. |
| Box |
| 94-127/20 |
|
|
|
*Herbrand, Documents ENS |
|
|
|
|
|
[photocopies of letters and documents
circa 1931. Includes letters of E. Artin,
J. Herbrand, and E. Noether] |
|
|
|
|
Hermes, Hans |
|
|
|
|
Heyting, A. |
|
|
|
|
Isles, David |
|
|
|
|
*Keferstein, H. [M] |
|
|
|
|
|
to Dedekind |
|
|
|
|
Kleene, S. C. [M] |
|
|
|
|
|
to Dreben, B. |
|
|
|
|
Koerner, S. |
|
|
|
|
Kolmogorov, A. H. |
|
|
|
|
Leaf, Michelina |
|
|
|
|
Martin, Roger [M] |
|
|
|
|
Martin-Loef, Per |
|
|
|
|
Montague |
|
|
|
|
Moschovakis, Yiannis N. |
|
|
|
|
Myhill |
|
|
|
|
Nagel, Ernst |
|
|
|
|
Parsons, Charles D. |
|
|
|
|
|
correspondence with G. Kreisel |
|
|
|
|
Patzig, Guenther |
|
|
|
|
|
to Dreben, B. |
|
|
|
|
|
correspondence of van H. with J. Sprute |
|
|
|
|
Quine, W. V. |
|
|
|
|
|
to Elder, J. (Harvard Univ. Press) |
|
|
|
|
|
|
Gochet |
|
|
|
|
|
|
Gödel, K. |
|
|
|
|
|
|
Granger, M. |
|
|
|
|
|
Correspondence of Quine and van H. with J. C.
Thiel |
|
|
|
|
Raggio, A. |
|
|
|
|
Russell, Bertrand |
|
|
|
|
|
to Frege |
|
|
|
|
Scanlon, T. |
|
|
|
|
*Scott, Dana S. |
|
|
|
|
|
to B. Dreben/H. Wang |
|
|
|
|
Skolem, Th. [M] |
|
|
|
|
|
D. Follesdal to van H. |
|
|
|
|
|
V. F. Rickey to van H. |
|
|
|
|
Tarski, Alfred |
|
|
|
|
van Heijenoort, J. On Herbrand's Systems,
1980 |
|
|
|
|
Vesley, Richard E. |
|
|
|
|
Wang, Hao [M] |
|
|
|
|
|
to Dreben, B. |
|
|
|
|
Weil, A. |
|
|
|
|
Wiener, Norbert |
|
|
|
|
Wilder, Raymond L. |
|
|
|
Writings of others: |
| Box |
| 94-127/21 |
|
|
|
A - Beth (Includes correspondence with P. B.
Andrews) |
| Box |
| 94-127/22 |
|
|
|
Biardeau - Church |
| Box |
| 94-127/23 |
|
|
|
Cohen - Culmer |
| Box |
| 94-127/24 |
|
|
|
Cummins - Feferman |
| Box |
| 94-127/25 |
|
|
|
Feferman - Gergonne |
| Box |
| 94-127/26 |
|
|
|
Giannattasio - Guillaume |
| Box |
| 94-127/27 |
|
|
|
H |
| Box |
| 94-127/28 |
|
|
|
I |
| Box |
| 94-127/29 |
|
|
|
J - L |
| Box |
| 94-127/30 |
|
|
|
M - O |
| Box |
| 94-127/31 |
|
|
|
P - Q |
| Box |
| 94-127/32 |
|
|
|
R - Scott |
| Box |
| 94-127/33 |
|
|
|
Se - Szabo |
| Box |
| 94-127/34 |
|
|
|
T - V |
| Box |
| 94-127/35 |
|
|
|
W - Z, and unidentified |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Material donated by Irving H. Anellis: |
| Box |
| 94-127/36 |
|
|
Item list by Irving H. Anellis; Correspondence with van
Heijenoort; Manuscripts by van Heijenoort; Newspaper clippings |
|
|
|
Correspondence and notes concerning van Heijenoort; Jean
van Heijenoort, his life and contributions to logic, by Irving H.
Anellis |
|
|
|
Writings about van Heijenoort by Dr. Anellis |
|
|
|
List of van Heijenoort's courses; Examinations; Course
notes: Logic and ontology, Theories of quantification, Intermediate
logic |
|
|
|
Course notes: Advanced topics in logic: Frege, Foundations
of mathematics |
|
