{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T19:04:50Z","timestamp":1648580690347},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":10693,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1984,12]]},"DOI":"10.2307\/2274306","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:10:48Z","timestamp":1146953448000},"page":"1441-1449","source":"Crossref","is-referenced-by-count":0,"title":["Annual Meeting of the Association for Symbolic Logic"],"prefix":"10.1017","volume":"49","author":[{"given":"George","family":"Boolos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sy","family":"Friedman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120004281X_ref022","first-page":"123","volume-title":"Patras Logic Symposion","year":"1982"},{"key":"S002248120004281X_ref023","volume-title":"Natural deduction","year":"1965"},{"key":"S002248120004281X_ref020","first-page":"113","volume":"40","year":"1932","journal-title":"Monatshefte f\u00fcr Mathematik and Physik"},{"key":"S002248120004281X_ref009","first-page":"41","volume-title":"Patras Logic Symposion","year":"1982"},{"key":"S002248120004281X_ref007","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/01940399"},{"key":"S002248120004281X_ref006","first-page":"250","volume":"22","year":"1957","journal-title":"Linear reasoning: a new form of the Herbrand-Gentzen theorem"},{"key":"S002248120004281X_ref005","first-page":"56","volume":"5","year":"1941","journal-title":"A formulation of the simple theory of types"},{"key":"S002248120004281X_ref004","first-page":"414","volume":"36","year":"1971","journal-title":"Resolution in type theory"},{"key":"S002248120004281X_ref003","volume-title":"Abstract model theory and logics of mathematical concepts"},{"key":"S002248120004281X_ref002","first-page":"382","volume":"36","year":"1971","journal-title":"Predicate-functor logic"},{"key":"S002248120004281X_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370318"},{"key":"S002248120004281X_ref019","first-page":"282","volume-title":"The ways of paradox and other essays","year":"1976"},{"key":"S002248120004281X_ref018","first-page":"283","volume-title":"The ways of paradox and other essays","year":"1976"},{"key":"S002248120004281X_ref017","first-page":"319","volume":"32","year":"1967","journal-title":"On a set theory of Bernays"},{"key":"S002248120004281X_ref016","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-49-1-1-10","volume":"49","year":"1960","journal-title":"Fundamenta Mathematicae"},{"key":"S002248120004281X_ref015","first-page":"138","volume-title":"Problems in the philosophy of mathematics","volume":"1","year":"1967"},{"key":"S002248120004281X_ref014","first-page":"I\u201343","volume-title":"Proof normalizations and generalizations of Glivenko's theorem","year":"1975"},{"key":"S002248120004281X_ref013","first-page":"135","volume":"37","year":"1972","journal-title":"Applications of trees to intermediate logics"},{"key":"S002248120004281X_ref012","first-page":"403","volume-title":"Logic Colloquium '69: Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969","year":"1971"},{"key":"S002248120004281X_ref011","first-page":"91","volume-title":"Contributions to mathematical logic","year":"1968"},{"key":"S002248120004281X_ref010","first-page":"322","volume":"43","year":"1978","journal-title":"Nowhere simple sets and the lattice of recursively enumerable sets"},{"key":"S002248120004281X_ref021","first-page":"443","volume-title":"The logic of natural language","year":"1982"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120004281X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:11:02Z","timestamp":1558638662000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120004281X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["S002248120004281X"],"URL":"https:\/\/doi.org\/10.2307\/2274306","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}