Skip to main content
SpringerLink
Log in

Historical Development of Modern Logic

  • Published:
Logica Universalis Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Beth, E.W.: Semantic Entailment and Formal Derivability, Mededlingen van den Koninklijke Nederlandse Akademie van wetenschappen, afd. Letterkunde, new series, vol. 18, no. 13, pp. 309–342. N.V. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam (1955)

  2. Brouwer, L.E.J.: Over de grondslagen der wiskunde, Maas and van Suchtelen. Amsterdam and Leipzig; Noordhoff, Groningen (1907)

  3. Burali-Forti, C.: Una questione sui numeri transfiniti. Rendiconti del Circolo Matematico di Palermo 11, 154–164 (1897); English translation in van Heijenoort 1967, 104–111

  4. Burali-Forti, C.: Sulle classi ben ordinate. Rendiconti del Circolo Matematico di Palermo 11, 260 (1897); English translation in van Heijenoort 1967, 111–112

  5. Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Verlag von Louis Nebert, Halle (1879); reprinted: Frege 1964, V–XVI + 1–88; English translation in van Heijenoort 1967, 1–82

  6. Frege, G.: (Ignacio Angelelli, Hsg.), Begriffsschrift und andere Aufsätze. G. Olms, Hildesheim (1879)

  7. Gentzen, G.: Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39, 176–210, 405–431 (1934)

    Google Scholar 

  8. Gödel, K.: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik 37, 349–360 (1930); English translation in van Heijenoort 1967, 582–591

  9. Herbrand, J.: Recherches sur la théorie de la démonstration, Doctoral thesis, University of Paris; published in Prace Towarzystwa Naukowego Warszawskigo, wydzial III, no.33; reprinted in Herbrand 1968, 35–153; English version in Herbrand 1971, 44–202; English version of Chapter 5 in van Heijenoort 1967, 525–581 (1930)

  10. Herbrand J.: Écrits logiques, edited, with an introduction, by Jean van Heijenoort. Presses Universitaires de France, Paris (1968)

    Google Scholar 

  11. Hilbert, D.: Über die Grundlagen der Logik und Arithmetik, Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg von 8. bis 13. August 1904, Teubner, Leipzig, 1905, 174–185 (1904); English translation in van Heijenoort 1967, 129–138

  12. Jeffrey R.C.: Formal logic: its scope and limits. McGraw-Hill, New York (1967)

    Google Scholar 

  13. König, J.: Über die Grundlagen der Mengenlehre und das Kontinuumproblem. Mathematische Annalen 61, 156–160 (1905); English translation in van Heijenoort 1967, 145–149

  14. Löwenheim, L.: Über Möglichkeiten im Relativkalkül. Mathematische Annalen 75, 447–470 (1915); English translation in van Heijenoort 1967, 228–251

    Google Scholar 

  15. Richard, J.: Les principes des mathématiques et le problème des ensembles avec les réponses par Louis Olivier. Revue Générale des Sciences pures et appliquées 16, 541–543 (1905); reprinted (without replies by Louis Olivier) in Acta Mathematica 30 (1906), 295–296; English translation in van Heijenoort 1967, 142–144

  16. Russell, B.: Mathematical logic as based on the theory of types. Am. J. Math. 30, 222–262 (1908); reprinted in van Heijenoort 1967, 150–182. See Whitehead, Alfred North, and Bertrand Russell

  17. Skolem, T.: Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Videnkapsselskapels Skrifter 1, Mathematisk-naturvidenskabelig klasse, no. 4 (1920); English translation in van Heijenoort 1967, 252–263

  18. Skolem, T.: Über die mathematische Logik. Norsk Matematisk Tidsskrift 10, 125–142 (1928); English translation in van Heijenoort 1967, 508–524

  19. van Heijenoort, J.: From Frege to Gödel: a source book in mathematical logic, 1879–1931. Harvard University Press, Cambridge (1967)

  20. Whitehead A.N., Bertrand R.: Principia mathematica, vol. 1. Cambridge University Press, Cambridge (1910)

    Google Scholar 

  21. Whitehead A.N., Bertrand R.: Principia mathematica, vol. 2. Cambridge University Press, Cambridge (1912)

    Google Scholar 

  22. Whitehead A.N., Bertrand R.: Principia mathematica, vol. 3. Cambridge University Press, Cambridge (1913)

    Google Scholar 

  23. Whitehead A.N., Bertrand R.: Principia mathematica, 2nd edn., vol. 1. Cambridge University Press, Cambridge (1925)

    Google Scholar 

  24. Whitehead A.N., Bertrand R.: Principia mathematica, 2nd edn., vols. 2 and 3. Cambridge University Press, Cambridge (1927)

    Google Scholar 

  25. Zermelo, E.: Untersuchungen über die Grundlagen der Mengenlehre, I. Mathematische Annalen 65, 261–281 (1908); English translation in van Heijenoort 1967, 199–215

Download references

Authors
  1. Jean van Heijenoort
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The author of this article Dr. Jean van Heijenoort is deceased.

Rights and permissions

Reprints and permissions

About this article

Cite this article

van Heijenoort, J. Historical Development of Modern Logic. Log. Univers. 6, 327–337 (2012). https://doi.org/10.1007/s11787-012-0064-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-012-0064-7

Search

Navigation