{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T02:50:07Z","timestamp":1648781407466},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T00:00:00Z","timestamp":1201824000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2008,2]]},"abstract":"<jats:p>2006 was a special year for both mathematical logic and computer science, as it celebrated G\u00f6del's centenary. Although G\u00f6del's work was mainly concerned with mathematics and metamathematics, the crucial role it had in the foundation of modern theoretical computer science is undeniable: for instance, one only has to remember G\u00f6del's contributions to the birth of recursion theory as well as his part in the debate in the nineteen thirties on the subject of the Church Thesis.<\/jats:p>","DOI":"10.1017\/s0960129507006512","type":"journal-article","created":{"date-parts":[[2008,3,5]],"date-time":"2008-03-05T09:42:14Z","timestamp":1204710134000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Preface to Special Issue devoted to the memory of Sauro Tulipani"],"prefix":"10.1017","volume":"18","author":[{"given":"FLAVIO","family":"CORRADINI","sequence":"first","affiliation":[]},{"given":"CARLO","family":"TOFFALORI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2008,2,1]]},"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129507006512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T15:28:57Z","timestamp":1554132537000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129507006512\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,2]]}},"alternative-id":["S0960129507006512"],"URL":"https:\/\/doi.org\/10.1017\/s0960129507006512","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}