{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T04:54:36Z","timestamp":1648529676339},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,6,27]],"date-time":"2010-06-27T00:00:00Z","timestamp":1277596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s11225-010-9265-3","type":"journal-article","created":{"date-parts":[[2010,6,26]],"date-time":"2010-06-26T08:37:02Z","timestamp":1277541422000},"page":"355-378","source":"Crossref","is-referenced-by-count":3,"title":["Sch\u00f6nfinkel-type Operators for Classical Logic"],"prefix":"10.1007","volume":"95","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,6,27]]},"reference":[{"key":"9265_CR1","unstructured":"Bimb\u00f3, Katalin, \u2018Combinatory logic\u2019, in E. Zalta, (ed.), Stanford Encyclopedia of Philosophy, CSLI, Stanford, CA, URL: http:\/\/plato.stanford.edu\/entries\/logiccombinatory , 2008, pp. 1\u201354."},{"key":"9265_CR2","unstructured":"Bunder, Maarten, Set Theory Based on Combinatory Logic, Ph.D. thesis, University of Amsterdam, 1969."},{"key":"9265_CR3","volume-title":"Introduction to Mathematical Logic, revised and enlarged edn","author":"Alonzo Church","year":"1996","unstructured":"Church Alonzo: Introduction to Mathematical Logic, revised and enlarged edn. Princeton University Press, Princeton, NJ (1996)"},{"key":"9265_CR4","volume-title":"Combinatory Logic, vol. I of Studies in Logic and the Foundations of Mathematics","author":"Haskell B. Curry","year":"1958","unstructured":"Curry Haskell B., Feys Robert: Combinatory Logic, vol. I of Studies in Logic and the Foundations of Mathematics, 1st edn. North-Holland, Amsterdam (1958)","edition":"1"},{"key":"9265_CR5","volume-title":"Combinatory Logic, vol. II of Studies in Logic and the Foundations of Mathematics","author":"Haskell B. Curry","year":"1972","unstructured":"Curry Haskell B., Hindley J. Roger, Seldin Jonathan P.: Combinatory Logic, vol. II of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1972)"},{"key":"9265_CR6","volume-title":"Function Algebras on Finite Sets. A Basic Course on Many-valued Logic and Clone Theory","author":"Dietlinde Lau","year":"2006","unstructured":"Lau Dietlinde: Function Algebras on Finite Sets. A Basic Course on Many-valued Logic and Clone Theory. Springer, New York ,NY (2006)"},{"key":"9265_CR7","unstructured":"Linsky, Bernard, (ed.), The Second Edition of Principia Mathematica: Bertrand Russell\u2019s Notes and Manuscripts, Cambridge University Press, Cambridge, UK, 201+."},{"key":"9265_CR8","volume-title":"Collected Papers of Charles Sanders Peirce (Ch. Hartshorne and P. Weiss, (eds)","author":"Charles S. Peirce","year":"1933","unstructured":"Peirce Charles S.: Collected Papers of Charles Sanders Peirce (Ch. Hartshorne and P. Weiss, (eds). Harvard University Press, Cambridge, MA (1933)"},{"key":"9265_CR9","unstructured":"Peirce, Charles S., Writings of Charles S. Peirce. A Chronological Edition (Ch. J. W. Kloesel et\u00a0al., (eds.)), Indiana University Press, Bloomington and Indianapolis, 1986."},{"key":"9265_CR10","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1305\/ndjfl\/1093635508","volume":"31","author":"Francis J. Pelletier","year":"1990","unstructured":"Pelletier Francis J., Martin Norman M.: \u2018Post\u2019s functional completeness theorem\u2019. Notre Dame Journal of Formal Logic 31, 462\u2013475 (1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9265_CR11","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"Emil L. Post","year":"1921","unstructured":"Post Emil L.: \u2018Introduction to a general theory of elementary propositions\u2019. American Journal of Mathematics 43, 163\u2013185 (1921)","journal-title":"American Journal of Mathematics"},{"key":"9265_CR12","volume-title":"The two-valued iterative systems of mathematical logic, vol. 5 of Annals of Mathematics Studies","author":"Emil L. Post","year":"1941","unstructured":"Post Emil L.: The two-valued iterative systems of mathematical logic, vol. 5 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ (1941)"},{"key":"9265_CR13","volume-title":"Selected Logic Papers, enlarged edn","author":"O. Quine Willard Van","year":"1995","unstructured":"Quine Willard Van O.: Selected Logic Papers, enlarged edn. Harvard University Press, Cambridge, MA (1995)"},{"key":"9265_CR14","volume-title":"The Mathematics of Metamathematics","author":"Helena Rasiowa","year":"1968","unstructured":"Rasiowa Helena, Sikorski Roman: The Mathematics of Metamathematics, 2nd, revised edn. Polish Scientific Publishers, Warszawa (1968)","edition":"2"},{"key":"9265_CR15","volume-title":"Introduction to Mathematical Philosophy","author":"Bertrand Russell","year":"1919","unstructured":"Russell Bertrand: Introduction to Mathematical Philosophy. Macmillan Co., New York (1919)"},{"key":"9265_CR16","first-page":"193","volume":"36","author":"Michael Scanlan","year":"2000","unstructured":"Scanlan Michael: \u2018The known and unknown H. M. Sheffer\u2019. Transactions of the Charles S. Peirce Society 36, 193\u2013224 (2000)","journal-title":"M. Sheffer\u2019. Transactions of the Charles S. Peirce Society"},{"key":"9265_CR17","first-page":"355","volume-title":"From Frege to G\u00f6del A Source Book in Mathematical Logic","author":"Moses Sch\u00f6nfinkel","year":"1967","unstructured":"Sch\u00f6nfinkel Moses: \u2018On the building blocks of mathematical logic\u2019. In: van Heijenoort, J. (eds) From Frege to G\u00f6del A Source Book in Mathematical Logic, pp. 355\u2013366. Harvard University Press, Cambridge MA (1967) 1924"},{"key":"9265_CR18","unstructured":"Sheffer, Henry M., \u2018The general theory of notational relativity\u2019, 1921. Typescript (34\u00a0pp., 48 fig.)."},{"key":"9265_CR19","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1090\/S0002-9947-1913-1500960-1","volume":"14","author":"Henry M. Sheffer","year":"1913","unstructured":"Sheffer Henry M.: \u2018A set of five independent postulates for Boolean algebras, with application to logical constants\u2019. Transactions of the American Mathematical Society 14, 481\u2013488 (1913)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9265_CR20","first-page":"437","volume-title":"The Blackwell Guide to Philosophical Logic, Blackwell Philosophy Guides","author":"Dag Westerst\u00e5hl","year":"2001","unstructured":"Westerst\u00e5hl Dag: \u2018Quantifiers\u2019. In: Goble, L. (eds) The Blackwell Guide to Philosophical Logic, Blackwell Philosophy Guides, pp. 437\u2013460. Blackwell Publishers, Oxford, UK (2001)"},{"key":"9265_CR21","volume-title":"Principia Mathematica to *56","author":"Alfred N. Whitehead","year":"1962","unstructured":"Whitehead Alfred N., Russell Bertrand: Principia Mathematica to *56. Cambridge University Press, Cambridge (1962)"},{"key":"9265_CR22","volume-title":"Principia Mathematica","author":"Alfred N. Whitehead","year":"1963","unstructured":"Whitehead Alfred N., Russell Bertrand: Principia Mathematica, 2nd edn. Cambridge University Press, Cambridge (1963)","edition":"2"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9265-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9265-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9265-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:47Z","timestamp":1559370287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9265-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,27]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9265"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9265-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,27]]}}}