{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T03:29:45Z","timestamp":1648956585150},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2012,8,3]],"date-time":"2012-08-03T00:00:00Z","timestamp":1343952000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11787-012-0064-7","type":"journal-article","created":{"date-parts":[[2012,8,2]],"date-time":"2012-08-02T08:16:57Z","timestamp":1343895417000},"page":"327-337","source":"Crossref","is-referenced-by-count":2,"title":["Historical Development of Modern Logic"],"prefix":"10.1007","volume":"6","author":[{"given":"Jean","family":"van Heijenoort","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,8,3]]},"reference":[{"key":"64_CR1","unstructured":"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\u2013342. N.V. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam (1955)"},{"key":"64_CR2","unstructured":"Brouwer, L.E.J.: Over de grondslagen der wiskunde, Maas and van Suchtelen. Amsterdam and Leipzig; Noordhoff, Groningen (1907)"},{"key":"#cr-split#-64_CR3.1","doi-asserted-by":"crossref","unstructured":"Burali-Forti, C.: Una questione sui numeri transfiniti. Rendiconti del Circolo Matematico di Palermo 11, 154\u2013164 (1897);","DOI":"10.1007\/BF03015911"},{"key":"#cr-split#-64_CR3.2","unstructured":"English translation in van Heijenoort 1967, 104\u2013111"},{"key":"#cr-split#-64_CR4.1","doi-asserted-by":"crossref","unstructured":"Burali-Forti, C.: Sulle classi ben ordinate. Rendiconti del Circolo Matematico di Palermo 11, 260 (1897);","DOI":"10.1007\/BF03015919"},{"key":"#cr-split#-64_CR4.2","unstructured":"English translation in van Heijenoort 1967, 111\u2013112"},{"key":"64_CR5","unstructured":"Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Verlag von Louis Nebert, Halle (1879); reprinted: Frege 1964, V\u2013XVI + 1\u201388; English translation in van Heijenoort 1967, 1\u201382"},{"key":"64_CR6","unstructured":"Frege, G.: (Ignacio Angelelli, Hsg.), Begriffsschrift und andere Aufs\u00e4tze. G. Olms, Hildesheim (1879)"},{"key":"64_CR7","doi-asserted-by":"crossref","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schliessen. Mathematische Zeitschrift 39, 176\u2013210, 405\u2013431 (1934)","DOI":"10.1007\/BF01201353"},{"key":"#cr-split#-64_CR8.1","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K.: Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls. Monatshefte f\u00fcr Mathematik und Physik 37, 349\u2013360 (1930);","DOI":"10.1007\/BF01696781"},{"key":"#cr-split#-64_CR8.2","unstructured":"English translation in van Heijenoort 1967, 582\u2013591"},{"key":"64_CR9","unstructured":"Herbrand, J.: Recherches sur la th\u00e9orie de la d\u00e9monstration, Doctoral thesis, University of Paris; published in Prace Towarzystwa Naukowego Warszawskigo, wydzial III, no.33; reprinted in Herbrand 1968, 35\u2013153; English version in Herbrand 1971, 44\u2013202; English version of Chapter 5 in van Heijenoort 1967, 525\u2013581 (1930)"},{"key":"64_CR10","volume-title":"\u00c9crits logiques, edited, with an introduction, by Jean van Heijenoort","author":"J. Herbrand","year":"1968","unstructured":"Herbrand J.: \u00c9crits logiques, edited, with an introduction, by Jean van Heijenoort. Presses Universitaires de France, Paris (1968)"},{"key":"#cr-split#-64_CR11.1","unstructured":"Hilbert, D.: \u00dcber die Grundlagen der Logik und Arithmetik, Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg von 8. bis 13. August 1904, Teubner, Leipzig, 1905, 174\u2013185 (1904);"},{"key":"#cr-split#-64_CR11.2","unstructured":"English translation in van Heijenoort 1967, 129\u2013138"},{"key":"64_CR12","volume-title":"Formal logic: its scope and limits","author":"R.C. Jeffrey","year":"1967","unstructured":"Jeffrey R.C.: Formal logic: its scope and limits. McGraw-Hill, New York (1967)"},{"key":"#cr-split#-64_CR13.1","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, J.: \u00dcber die Grundlagen der Mengenlehre und das Kontinuumproblem. Mathematische Annalen 61, 156\u2013160 (1905);","DOI":"10.1007\/BF01457735"},{"key":"#cr-split#-64_CR13.2","doi-asserted-by":"crossref","unstructured":"English translation in van Heijenoort 1967, 145\u2013149","DOI":"10.1093\/oseo\/instance.00175620"},{"key":"#cr-split#-64_CR14.1","doi-asserted-by":"crossref","unstructured":"L\u00f6wenheim, L.: \u00dcber M\u00f6glichkeiten im Relativkalk\u00fcl. Mathematische Annalen 75, 447\u2013470 (1915);","DOI":"10.1007\/BF01458217"},{"key":"#cr-split#-64_CR14.2","unstructured":"English translation in van Heijenoort 1967, 228\u2013251"},{"key":"64_CR15","unstructured":"Richard, J.: Les principes des math\u00e9matiques et le probl\u00e8me des ensembles avec les r\u00e9ponses par Louis Olivier. Revue G\u00e9n\u00e9rale des Sciences pures et appliqu\u00e9es 16, 541\u2013543 (1905); reprinted (without replies by Louis Olivier) in Acta Mathematica 30 (1906), 295\u2013296; English translation in van Heijenoort 1967, 142\u2013144"},{"key":"64_CR16","doi-asserted-by":"crossref","unstructured":"Russell, B.: Mathematical logic as based on the theory of types. Am. J. Math. 30, 222\u2013262 (1908); reprinted in van Heijenoort 1967, 150\u2013182. See Whitehead, Alfred North, and Bertrand Russell","DOI":"10.2307\/2369948"},{"key":"#cr-split#-64_CR17.1","unstructured":"Skolem, T.: Logisch-kombinatorische Untersuchungen \u00fcber die Erf\u00fcllbarkeit oder Beweisbarkeit mathematischer S\u00e4tze nebst einem Theoreme \u00fcber dichte Mengen. Videnkapsselskapels Skrifter 1, Mathematisk-naturvidenskabelig klasse, no. 4 (1920);"},{"key":"#cr-split#-64_CR17.2","unstructured":"English translation in van Heijenoort 1967, 252\u2013263"},{"key":"#cr-split#-64_CR18.1","unstructured":"Skolem, T.: \u00dcber die mathematische Logik. Norsk Matematisk Tidsskrift 10, 125\u2013142 (1928);"},{"key":"#cr-split#-64_CR18.2","unstructured":"English translation in van Heijenoort 1967, 508\u2013524"},{"key":"64_CR19","unstructured":"van Heijenoort, J.: From Frege to G\u00f6del: a source book in mathematical logic, 1879\u20131931. Harvard University Press, Cambridge (1967)"},{"key":"64_CR20","volume-title":"Principia mathematica, vol. 1","author":"A.N. Whitehead","year":"1910","unstructured":"Whitehead A.N., Bertrand R.: Principia mathematica, vol. 1. Cambridge University Press, Cambridge (1910)"},{"key":"64_CR21","volume-title":"Principia mathematica, vol. 2","author":"A.N. Whitehead","year":"1912","unstructured":"Whitehead A.N., Bertrand R.: Principia mathematica, vol. 2. Cambridge University Press, Cambridge (1912)"},{"key":"64_CR22","volume-title":"Principia mathematica, vol. 3","author":"A.N. Whitehead","year":"1913","unstructured":"Whitehead A.N., Bertrand R.: Principia mathematica, vol. 3. Cambridge University Press, Cambridge (1913)"},{"key":"64_CR23","volume-title":"Principia mathematica, 2nd edn., vol. 1","author":"A.N. Whitehead","year":"1925","unstructured":"Whitehead A.N., Bertrand R.: Principia mathematica, 2nd edn., vol. 1. Cambridge University Press, Cambridge (1925)"},{"key":"64_CR24","volume-title":"Principia mathematica, 2nd edn., vols. 2 and 3","author":"A.N. Whitehead","year":"1927","unstructured":"Whitehead A.N., Bertrand R.: Principia mathematica, 2nd edn., vols. 2 and 3. Cambridge University Press, Cambridge (1927)"},{"key":"#cr-split#-64_CR25.1","doi-asserted-by":"crossref","unstructured":"Zermelo, E.: Untersuchungen \u00fcber die Grundlagen der Mengenlehre, I. Mathematische Annalen 65, 261\u2013281 (1908);","DOI":"10.1007\/BF01449999"},{"key":"#cr-split#-64_CR25.2","doi-asserted-by":"crossref","unstructured":"English translation in van Heijenoort 1967, 199\u2013215","DOI":"10.1001\/jama.1967.03120030153055"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0064-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-012-0064-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-012-0064-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T08:14:12Z","timestamp":1562055252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-012-0064-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,3]]},"references-count":34,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["64"],"URL":"https:\/\/doi.org\/10.1007\/s11787-012-0064-7","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,3]]}}}