{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:49Z","timestamp":1761611149571},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"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":[[1993,2]]},"DOI":"10.1007\/bf01049178","type":"journal-article","created":{"date-parts":[[2005,1,31]],"date-time":"2005-01-31T06:42:52Z","timestamp":1107153772000},"page":"1-18","source":"Crossref","is-referenced-by-count":16,"title":["Hilbert's ?-operator and classical logic"],"prefix":"10.1007","volume":"22","author":[{"given":"J. L.","family":"Bell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M. J. Beeson","year":"1985","unstructured":"Beeson, M. J.,Foundations of Constructive Mathematics. Springer-Verlag, Berlin, 1985."},{"key":"CR2","volume-title":"Elements of Intuitionism","author":"M. Dummett","year":"1977","unstructured":"Dummett, M.,Elements of Intuitionism. Clarendon Press, Oxford, 1977."},{"key":"CR3","volume-title":"From Frege to Gb\u00f6del","author":"D. Hilbert","year":"1925","unstructured":"Hilbert, D., ?On the infinite? (1925). In: van Heijenoort [9]."},{"key":"CR4","volume-title":"From Frege to Gb\u00f6del","author":"D. Hubert","year":"1928","unstructured":"Hubert, D., ?The foundations of mathematics? (1928). In van Heijenoort [9]."},{"key":"CR5","volume-title":"From Frege to Gb\u00f6del.","author":"A. N. Kolmogorov","year":"1925","unstructured":"Kolmogorov, A. N., ?On the principle of excluded middle? (1925). In: van Heijenoort [9]."},{"key":"CR6","volume-title":"Mathematical Logic and Hubert's ?-Symbol","author":"A. C. Leisenring","year":"1969","unstructured":"Leisenring, A. C.,Mathematical Logic and Hubert's ?-Symbol. Gordon & Breach, New York, 1969."},{"key":"CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9478-5","volume-title":"Zermelo's Axiom of Choice","author":"G. H. Moore","year":"1982","unstructured":"Moore, G. H.,Zermelo's Axiom of Choice. Springer-Verlag, New York, 1982."},{"key":"CR8","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H. and Sikorski, R.,The Mathematics of Metamathematics. PWN, Warsaw, 1963."},{"key":"CR9","volume-title":"From Frege to Gb\u00f6del","year":"1967","unstructured":"van Heijenoort, J. (ed).From Frege to Gb\u00f6del. Harvard University Press, Cambridge, 1967."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01049178.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01049178\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01049178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T23:12:02Z","timestamp":1556579522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01049178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["BF01049178"],"URL":"https:\/\/doi.org\/10.1007\/bf01049178","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}