{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T05:30:37Z","timestamp":1674106237647},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s11229-004-6271-x","type":"journal-article","created":{"date-parts":[[2006,4,20]],"date-time":"2006-04-20T08:36:49Z","timestamp":1145522209000},"page":"603-622","source":"Crossref","is-referenced-by-count":2,"title":["Proof-theoretic Semantics for Classical Mathematics"],"prefix":"10.1007","volume":"148","author":[{"given":"William W.","family":"Tait","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6271_CR1","unstructured":"Bernays, P.: 1959, \u2018\u00dcber eine Nat\u00fcrliche Erweiterung des Relationenkalk\u00fcls\u2019, in A. Heyting (ed.), Constructivity in Mathematics, North-Holland, Amsterdam, pp. 1\u201314."},{"key":"6271_CR2","unstructured":"Curry, H. and Feys, R. 1958, Combinatory Logic I, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam; 2nd edition 1968."},{"key":"6271_CR3","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatorial Logic, Lambda Calculus and Formalism","author":"W. Howard","year":"1980"},{"key":"6271_CR4","volume-title":"Twenty-Five Years of Constructive Type Theory","author":"P. Martin-L\u00f6f","year":"1998"},{"key":"6271_CR5","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042469","volume-title":"Mathematical Logic: Revised Edition","author":"W. Quine","year":"1951"},{"key":"6271_CR6","unstructured":"Quine, W.: 1960a, \u2018Variables explained away\u2019, Proceedings of the American Philosophical Society. Reprinted in Quine, (1966a), Selected Logic Papers, Random House, New York, pp. 227\u2013235."},{"key":"6271_CR7","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M. Sch\u00f6nfinkel","year":"1924","journal-title":"Mathematische Annalen"},{"key":"6271_CR8","unstructured":"Tait, W.: 1996, \u2018Extensional Equality in Classical Type Theory\u2019, in W. DePauli-Schimanovich, E. K\u00f6hler and F. Stadler (eds.), The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, pp. 219\u2013234."},{"key":"6271_CR9","first-page":"265","volume-title":"Twenty-Five Years of Constructive Type Theory","author":"W. Tait","year":"1998b"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6271-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-004-6271-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-004-6271-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,25]],"date-time":"2021-07-25T21:44:43Z","timestamp":1627249483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-004-6271-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["6271"],"URL":"https:\/\/doi.org\/10.1007\/s11229-004-6271-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}