References
Abeles F.: Lewis Carroll’s method of trees: its origins in Studies in Logic. Mod. Logic 1, 25–34 (1990)
Abeles, F.: Algorithms and mechanical processes in the work of Charles L. Dodgson. In: Lovett, C. (ed.) Proceedings of the Second International Lewis Carroll Conference. Lewis Carroll Society of North America, Winston-Salem, pp. 97–106 (1994)
Abeles F.: Herbrand’s fundamental theorem and the beginning of logic programming. Mod. Logic 4, 63–73 (1994)
Abeles, F.F.: The first unification algorithm for automated deductive systems. In: Cameron, D.E., Wine, J.D. (eds.) Proceedings of the Midwest Mathematics History Conferences, Vol. 1: Proceedings of the Fourth Midwest Conference on The History of Mathematics, Miami University, Oxford, Ohio, 2–3 October 1992, pp. 125–127. Modern Logic Publishing, MLP Books, Ames (1997)
Abeles F.: Lewis Carroll’s formal logic. History and Philosophy of Logic 25, 33–46 (2005)
Abeles, F.: From the tree method in modern logic to the beginning of automated theorem proving. In: Shell-Gellasch, A., Jardine, D. (eds.) From Calculus to Computers: Using 200 years of Mathematics History in the Teaching of Mathematics, pp. 149–160. Mathematical Association of America, Washington, D.C. (2006)
Anellis I.H.: Review of [60]. Cognit. Brain Theory 4, 191–193 (1981)
Anellis, I.H.: Bertrand Russell’s earliest reactions to Cantorian set theory, 1896–1900. In: Baumgartner, J.E., Martin, D.A., Shelah, S. (eds.) Axiomatic Set Theory, Contemporary Mathematics, vol. 31, pp. 1–11. American Mathematical Society. Providence (1984)
Anellis, I.H.: Russell’s earliest interpretation of Cantorian set theory, 1896–1900. Philosophia Mathematica (2) 2, 1–31 (1987)
Anellis I.H.: Some unpublished papers of Jean van Heijenoort. Historia Mathematica 15, 270–274 (1988)
Anellis, I.H.: La obra de Jean van Heijenoort en el campo de la lógica: sus aporttaciones a la teoría de la demonstración. Mathesis 5, 353–370 (1989, English translation: [13])
Anellis I.H.: From semantic tableaux to Smullyan trees: a history of the development of the falsifiability tree method. Mod. Logic 1, 36–69 (1990)
Anellis, I.H.: Jean van Heijenoort’s contributions to proof theory and its history. Mod. Logic 2, 312–335 (1992) [revised and expanded version: this issue (2012)]
Anellis, I.H.: Van Heijenoort: Logic and Its History in the Work and Writings of Jean van Heijenoort. Modern Logic Publishing, Ames (1994)
Anellis I.H.: Spitzfindigkeit—from Bocheński to Yanovskaya and van Heijenoort; abstract. Bull. Symbol. Logic 4, 438 (1998)
Anellis, I.H.: How Peircean was the “Fregean’ revolution” in logic? Logicheskie issledovaniya 18 (2012, in press) (expanded version available online at: http://www.cspeirce.com/menu/library/aboutcsp/anellis/csp-frege-revolu.pdf
Badesa Cortéz, C.: El teorema de Löwenheim en el marco de la teoría de relativos, Ph.D. thesis, University of Barcelona; published: Publicacións, Universitat de Barcelona, Barcelona (1991)
Badesa Cortéz, C.: (Maudsley, M., trans.), The Birth of Model Theory: Löwenheim’s Theorem in the Frame of the Theory of Relatives. Princeton University Press, Princeton/Oxford (2004)
Bernays, P.: Über die Zusammenhang des Herbrand’schen Satzes mit den neueren Ergebnissen von Schütte und Stenius. In: Gerretsen, J., de Groot, J. (eds.) Proceedings of the International Congress of Mathematicians, Amsterdam, September 2–September 9, 1954, vol. 2, p. 397. E.P. Noordhoff, Groningen (1954)
Beth E.W.: Hundred years of symbolic logic: a retrospective on the occasion of the Boole De Morgan centenary. Dialectica 1, 331–346 (1947)
Bocheński, J.M.: Spitzfindigkeit. In: Festgabe an die Schweitzerkatholiken, pp. 334–352. Universitätsverlag, Freiberg (1954)
Brady G.: From Peirce to Skolem: A Neglected Chapter in the History of Logic. North-Holland/Elsevier Science, Amsterdam/New York (2000)
Cellucci, C.: Mathematical logic: what has it done for philosophy of mathematics? In: Odifreddi, P. (ed.) Kreisleriana: About and Around Georg Kreisel, pp. 365–388. A K Peters, Wellesley (1996)
Dawson J.W.: Jean van Heijenoort: an all too brief acquaintance. Mod. Logic 2, 228–230 (1992)
de Rouilhan, Ph.: De l’universalité de la logique. In: Bouveresse, J. (éd.), L’âge de la science. Lectures philosopiques, 4: Philosophie de la logique et philosophie du langage, pp. 93–113. Éditions Odile Jacob, Paris (1991)
Dodgson, C.L.: In: Bartley, W.W. (ed.) Lewis Carroll’s Symbolic Logic. Potter, New York (1977)
Dreben B.: Corrections to Herbrand. Not. Am. Math. Soc. 10, 285 (1963)
Dreben B., Andrews P., Aanderaa S.: Errors in Herbrand, Not. Am. Math. Soc. 10, 285 (1963)
Dreben B., Andrews P., Aanderaa S.: False lemmas in Herbrand. Bull. Am. Math. Soc. 69, 699–706 (1963)
Dreben B., Denton J.: A supplement to Herbrand. J. Symbol. Logic 31, 393–398 (1966)
Feferman, A.B.: Politics, Logic and Love: the Life of Jean van Heijenoort. Jones and Bartlett/A K Peters, Boston (1993) [reissued in paperback as: From Trotsky to Gödel: The Life of Jean van Heijenoort. A K Peters, Natick (2001)]
Feferman, A.B., Feferman, S.: Jean van Heijenoort (1912–1986). Mod. Logic 2, 231–238 (1992)
Feferman S.: The Gödel editorial project: a synopsis, Bull. Symbol. Logic 11, 132–149 (2005)
Fisch, M.H.: Peirce’s place in American life. In: Ketner, K.L., Kloesel, C.J.W. (eds.) Peirce, Semiotic, and Pragmatism: Essays by Max H. Fisch, pp. 401–421. Indiana University Press, Indianapolis (1986) [reprinted for the Charles S. Peirce Sesquicentennial International Congress, September 10, 1989, Harvard University, as “Walk a Cambridge mile in Peirce’s shoes” (1989)]
Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. L. Nebert, Halle. English translation by S. Bauer-Mengelberg. In: [70], pp. 1–82 (1967)
Frege G.: Die Grundlagen der Arithmetik. Eine logisch mathematisch Untersuchung über den Begriff der Zahl. Koebner, Breslau (1884)
Frege, G.: The Foundations of Arithmetic: A Logico-mathematical Enquiry into the Concept of Number. Northwestern University Press, Evanston, 2nd revised edn. Austin, J. L. (transl.) (1968)
Gentzen, G.: Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39, 176–210, 403–431 (1934)
Gillies, D.A.: The Fregean revolution in logic. In Gillies, D.A. (ed.) Revolutions in Mathematics, pp. 265–305. Clarendon Press, Oxford (1992; paperback ed., 1995)
Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I, Monatshefte für Mathematik und Physik 38, 173–198 (1931) [Reprinted, with English translation: in [41, pp. 144–195] (1986); English translation by S. Bauer-Mengelberg in: [70, pp. 596–616] (1967)]
Gödel, K.: (Feferman, S., Dawson, J.W., Kleene, S.C., Moore, G.H., Solovay, R.M., van Heijenoort, J. eds.), Collected Works, vol. I: Publications 1929–1974. Oxford University Press, New York (1986)
Gödel, K.: (Feferman, S., Dawson, J.W., Kleene, S.C., Moore, G.H., Solovay, R.M., van Heijenoort, J. eds.), Collected Works, vol. II: Publications 1938–1974. Oxford University Press, New York/Oxford (1990)
Goldfarb W.D.: Herbrand’s error and Gödel’s correction. Mod. Logic 3, 103–118 (1993)
Green, J.: The problem of elimination in the algebra of logic. In: Drucker, T. (ed.) Perspectives on the History of Mathematical Logic, pp. 1–9. Birkhäuser, Boston/Basel/Berlin (1991)
Hannequin A.E.: Essai critique sur l’hypothèse des atomes dans la science contemporaine. G. Masson, Paris (1895)
Herbrand, J.: Recherches sur la théorie de la démonstration. PhD. Thesis, Prace Towarzystwa Naukowego Warszawskiego, Wydział III, no. 33 (1930) [reprinted: [47, 35–153] (1968); English translations: [48, pp. 46–202] (1971); translation of Chapt. 5 in [70, pp. 529–581] (1967)]
Herbrand J.: (van Heijenoort, J., ed.), Écrits logiques. Presses Universitaires de France, Paris (1968)
Herbrand J.: (Goldfarb, W.D., trans. & ed.), Logical Writings. Harvard University Press, Cambridge (1971)
Hintikka, J.: On the development of the model-theoretic viewpoint in logical theory, Synthèse 77, 1–36 (1988) [reprinted in: Hintikka, J.: Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy. Kluwer, Dordrecht/Boston/London, pp. 104–139 (1997)]
Hook S.: Out of Step: An Unquiet Life in the 20th Century. Harper & Row, New York (1987)
Jeffrey R.C.: Formal Logic: Its Scope and Limits. McGraw-Hill, New York (1967)
Kerry B.: G. Cantors Mannigfaltigkeitsuntersuchungen, Vierteljahrsschrift für wissenschaftliche Philosophie 9, 191–232 (1885)
Kerry B.: Ueber Anschauung und ihre psychische Verarbeitung. I, Vierteljahrsschrift für wissenschaftliche Philosophie 9, 433–493 (1885)
Ladd-Franklin, C.: On the algebra of logic. In: [58], pp. 17–71 (1883)
Maslov, S.Yu.: Obratnyi metod ustanovleniya vyvodimosti dlya logicheskikh ischislenii, Trudy matematicheskogo instituta im. V. A. Steklova 98, 56–87 (1968) [English translation by A. Yablonsky: The inverse method for establishing deducibility for logical calculi. In: Orevkov, V.P. (ed.) The Calculi of Symbolic Logic, I. Proceedings of the Steklov Institute of Mathematics no. 98 (Providence: American Mathematical Society), 25–95 (1968)]
Maslov, S.Yu.: Svyaz mezdu taktiki obratnogo metoda i metoda rezolyutsii, Doklady Akademii Nauk SSSR, ZNS LOMI 16, 137–146 (1969) [English translation: Proof-search strategies for methods of resolution type, Machine Intelligence 6, 77– 90 (1971)]
Moore G.H.: Review of [70, 2nd, corrected, printing]. Historia Mathematica 4, 468–471 (1977)
Peirce, C.S. (ed.): Studies in Logic by Members of the Johns Hopkins University. Little, Brown, & Co., Boston (1883)
Robinson J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12, 23–41 (1965)
Robinson J.A.: Logic: Form and Function, the Mechanization of Deductive Reasoning. Elsevier North-Holland, New York (1979)
Russell, B.: Review of [45], Mind (n.s.) 5, 410–417 (1896) [reprinted: Griffin, N., Lewis, A.C., eds., Philosophical Papers, 1896-99; Volume 2 of The Collected Papers of Bertrand Russell. Unwin Hyman, London/Boston/Sydney/Wellington, pp. 36–43 (1990)]
Russell B.: Introduction to Mathematical Philosophy. George Allen & Unwin, London (1919)
Smullyan R.M.: First-order Logic. Springer, Berlin/Heidelberg/New York (1968)
Tarski, A.: (Woodger, J.H., trans.), Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Clarendon Press, Oxford (1956)
Van Heijenoort, J.: On the Correspondence between E. Cartan’s Method and the Vector Method in Differential Geometry; MS thesis, New York University (1946)
Van Heijenoort, J.: Friedrich Engels and mathematics (1948). In: [81], pp. 123–151 (1985) [Russian translation, with introduction, by V. A. Bazhanov, Priroda 8, 90–105 (1991)]
Van Heijenoort, J.: On Locally Convex Surfaces; Ph.D. thesis, New York University (1949)
Van Heijenoort J.: On locally convex manifolds. Communications of Pure and Applied Mathematics 5, 223–242 (1952)
Van Heijenoort J.: Review of [21]. J. Symbol. Logic 22, 382 (1957)
Van Heijenoort, J. (ed.): From Frege to Gödel: A Source Book of Mathematical Logic, 1879–1931. Harvard University Press, Cambridge (1967)
Van Heijenoort, J.: Logic as calculus and logic as language, Synthèse 17, 324–330 (1967) [reprinted: Cohen, R.S., Wartofsky, M.W. (eds.) Boston Studies in the Philosophy of Science 3. Reidel, Dordrecht, pp. 440–446 (1967); reprinted: [81, pp. 11–16]; Sluga, H. (ed.) General Assessments and Historical Accounts of Frege’s Philosophy, vol. 1: The Philosophy of Frege, Garland Publishing Co., New York, pp. 72–79 (1993)]
Van Heijenoort, J.: Subject and predicate in Western logic. Philosophy East and West 24, 253–268 (1974) [reprinted: [81], pp. 17–34 (1985)]
Van Heijenoort, J.: Herbrand; 15pp. ts.; 18 May 1975. Van Heijenoort Archives, Box 3.8/86-33/1 (1975)
Van Heijenoort, J.: El desarrollo de la teoría de la cuantificación. Universidad Nacional Autónoma de México, Instituto de Investigaciones filosóficas (1976)
Van Heijenoort, J.: Set-theoretic semantics. In: Gandy, R.O., Holland, J.M.E. (eds.) Logic Colloquium ’76, (Oxford, 1976), pp. 183–190. North-Holland, Amsterdam (1977) [reprinted in: [81], pp. 43–53 (1985)
Van Heijenoort, J.: Sense in Frege, Journal of Philosophical Logic 6, 93–102 (1977) [reprinted in: [81, pp. 55–63] (1985)]
Van Heijenoort, J.: Frege on sense identity. J. Philos. Logic 6, 103–108 (1977) [reprinted in: [81], pp. 65–69 (1985)]
Van Heijenoort, J.: With Trotsky in Exile: From Prinkipo to Coyoacán. Harvard University Press, Cambridge (1978) [De Prinkipo à à Coyoacán: sept ans auprès de Lèon Trotsky. M. Nadeau, Paris (1978)]
Van Heijenoort, J.: L’œuvre logique de Jacques Herbrand et son contexte historique. In: Stern, J. (ed.) Proceedings of the Herbrand Symposium, Logic Colloquium ’81, Marseilles, France, July 1981, pp. 57–85. North-Holland, Amsterdam (1982) [revised English translation as: Jacques Herbrand’s work in logic and its historical context, in: [81], pp. 99–121 (1985)]
Van Heijenoort, J.: Hacia una explicación de las entitades lógicas. Universidad Nacional Autónoma de México, Mexico City (1984)
Van Heijenoort, J.: Selected Essays. Bibliopolis Edizioni di Filosofia e Scienze. Naples (1985) [also published by Librairie Vrin, Paris (1985)]
Van Heijenoort, J.: Ostension and vagueness (1977). Published in [81], pp. 71–73 (1985)
Van Heijenoort, J.: Absolutism and relativism in logic (1979). Published in: [81], pp. 75–83 (1985)
Van Heijenoort, J.: Frege and vagueness. In: Haaparanta, L., Hintikka, J. (eds.) Frege Synthesized: Studies of the Philosophical and Foundational Work of Gottlob Frege, pp. 31–45. D. Reidel, Dordrecht (1985) [reprinted in: Sluga, H. (ed.) General Assessments and Historical Accounts of Frege’s Philosophy, vol. 3: Meaning and Ontology in Frege’s Philosophy. Garland Publishing, New York/Francis & Taylor, London, pp. 279–294 (1993); and [81], pp. 85–97 (1985)]
Van Heijenoort, J.: Jacques Herbrand’s work in logic and its historical context. In: [81], pp. 99–121 (1985)
Van Heijenoort, J.: Système et métasystème chez Russell. In: Paris Logic Group (eds.) Logic Colloquium ’85 (Orsay 1985), pp. 111–122. North-Holland, Amsterdam (1987)
Van Heijenoort, J.: Historical Development of modern logic (1974). Mod. Logic 2 (1992), 242–255 [reprinted, with revisions and a new introduction (this issue)]
Van Heijenoort, J.: Logic, nature of; undated mss. Van Heijenoort Archives, Box 3.8/86-33/3 (n.d.)
Whitehead, A. N., Russell, B. Principia Mathematica, 3 vols. Cambridge University Press, Cambridge (1910–1913)
Wirth, C.-P., Siekmann, J., Benzmüller, C., Autexier, S.: Jacques Herbrand: life, logic, and automated deduction. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 5: Logic from Russell to Church. North-Holland, Amsterdam, pp. 195–254 (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
To the centenary of the birth of Jean van Heijenoort (1912–1986)
Rights and permissions
About this article
Cite this article
Anellis, I.H. Guest Editor’s Introduction: JvH100. Log. Univers. 6, 249–267 (2012). https://doi.org/10.1007/s11787-012-0068-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-012-0068-3