{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:50:43Z","timestamp":1649166643632},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,9,25]],"date-time":"2007-09-25T00:00:00Z","timestamp":1190678400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2008,2]]},"DOI":"10.1007\/s10992-007-9051-5","type":"journal-article","created":{"date-parts":[[2007,9,24]],"date-time":"2007-09-24T09:50:28Z","timestamp":1190627428000},"page":"23-43","source":"Crossref","is-referenced-by-count":2,"title":["Abstraction in Algorithmic Logic"],"prefix":"10.1007","volume":"37","author":[{"given":"Wayne","family":"Aitken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey A.","family":"Barrett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,25]]},"reference":[{"issue":"6","key":"9051_CR1","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1023\/B:LOGI.0000046077.72722.61","volume":"33","author":"W. Aitken","year":"2004","unstructured":"Aitken, W. and Barrett, J. A.: Computer implication and the Curry paradox, Journal of Philosophical Logic 33(6) (2004), 631\u2013637.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9051_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s10992-005-9024-5","volume":"36","author":"W. Aitken","year":"2004","unstructured":"Aitken, W. and Barrett, J. A.: Stability and paradox in algorithmic logic, Journal of Philosophical Logic 36(1) (2007), 61\u201395.","journal-title":"Journal of Philosophical Logic"},{"key":"9051_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"Michael J. Beeson","year":"1985","unstructured":"Beeson, Michael J.: Foundations of Constructive Mathematics, Springer, Berlin Heidelberg New York, 1985."},{"key":"9051_CR4","volume-title":"Introduction to Combinators and \u03bb-calculus","author":"J. R. Hindley","year":"2004","unstructured":"Hindley, J. R. and Seldin, J. P.: Introduction to Combinators and \u03bb-calculus, Cambridge University Press, Cambridge, UK, 1986."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9051-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-007-9051-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9051-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:48Z","timestamp":1559352588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-007-9051-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,25]]},"references-count":4,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,2]]}},"alternative-id":["9051"],"URL":"https:\/\/doi.org\/10.1007\/s10992-007-9051-5","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,25]]}}}