{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:17:39Z","timestamp":1752229059866,"version":"3.41.2"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,2,1]],"date-time":"1997-02-01T00:00:00Z","timestamp":854755200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,2,1]],"date-time":"1997-02-01T00:00:00Z","timestamp":854755200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[1997,2]]},"DOI":"10.1023\/a:1017900703234","type":"journal-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T09:36:44Z","timestamp":1041241004000},"page":"45-56","source":"Crossref","is-referenced-by-count":10,"title":["On a Paradox of Hilbert and Bernays"],"prefix":"10.1007","volume":"26","author":[{"given":"Graham","family":"Priest","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"85334_CR1","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-94-009-5203-4_6","volume":"III","author":"E. Bencivenga","year":"1986","unstructured":"E. Bencivenga (1986), \u201cFree Logic\u201d, Handbook of Philosophical Logic, Vol. III, 373\u2013426.","journal-title":"Handbook of Philosophical Logic"},{"key":"85334_CR2","volume-title":"Logic and Computability","author":"G. Boolos","year":"1974","unstructured":"G. Boolos and R. Jeffrey (1974), Logic and Computability, Cambridge Univ. Press, Cambridge, MA."},{"key":"85334_CR3","volume-title":"Grundlagen der Mathematik","author":"D. Hilbert","year":"1939","unstructured":"D. Hilbert and P. Bernays (1939), Grundlagen der Mathematik, Vol. II, Springer, Berlin."},{"key":"85334_CR4","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene (1952), Introduction to Metamathematics, Van Nostrand Reinhold, New York."},{"key":"85334_CR5","unstructured":"G. Priest (1979), \u201cIndefinite Descriptions\u201d, Logique et Analyse 85\u20136, 5\u201321."},{"key":"85334_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In Contradiction","author":"G. Priest","year":"1987","unstructured":"G. Priest (1987), In Contradiction, Kluwer Academic Publishers, Dordrecht."},{"key":"85334_CR7","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1093\/mind\/103.411.337","volume":"103","author":"G. Priest","year":"1994","unstructured":"G. Priest (1994), \u201cIs Arithmetic Consistent?\u201d, Mind\n103, 337\u201349.","journal-title":"Mind"},{"key":"85334_CR8","unstructured":"G. Priest (1997), \u201cThe Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions\u201d, Journal of Applied and Non-Classical Logic, forthcoming."},{"key":"85334_CR9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/analys\/20.6.125","volume":"20","author":"T. Smiley","year":"1960","unstructured":"T. Smiley (1960), \u201cSense without Denotation\u201d, Analysis\n20, 123\u201335.","journal-title":"Analysis"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017900703234.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1017900703234\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1017900703234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017900703234.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:40:00Z","timestamp":1752147600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1017900703234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,2]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,2]]}},"alternative-id":["85334"],"URL":"https:\/\/doi.org\/10.1023\/a:1017900703234","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[1997,2]]}}}