{"alternate_locations":{"servers":[{"server":"dn760004.eu.archive.org","dir":"/0/items/computabilitylog0000bool"},{"server":"dn790000.ca.archive.org","dir":"/0/items/computabilitylog0000bool"}],"workable":[{"server":"dn760004.eu.archive.org","dir":"/0/items/computabilitylog0000bool"},{"server":"dn790000.ca.archive.org","dir":"/0/items/computabilitylog0000bool"}]},"created":1786380575,"d1":"ia600709.us.archive.org","d2":"ia800709.us.archive.org","dir":"/4/items/computabilitylog0000bool","files":[{"name":"__ia_thumb.jpg","source":"original","mtime":"1659777322","size":"17776","format":"Item Tile","rotation":"0","md5":"05852effb348fdac531037dba89e92d3","crc32":"7f5e29bb","sha1":"d2770e7285621a8095fcd1a611f2ab6ce13773d7"},{"name":"computabilitylog0000bool.epub","source":"derivative","hocr_epub_module_version":"0.0.1","hocr_epub_hocr_version":"1.1.62","format":"EPUB","original":"computabilitylog0000bool_hocr.html","mtime":"1753180645","size":"1878337","private":"true","md5":"04467c72ecaf203ca429e0ed86eef9a4","crc32":"e9bb0354","sha1":"e5ca89e17351614d8fdb893eff65d64a781d6eac"},{"name":"computabilitylog0000bool.lcpdf","source":"derivative","format":"LCP Encrypted PDF","original":"computabilitylog0000bool.pdf","mtime":"1753180625","size":"20357825","md5":"40d36d5012cafdd4ae2940c22d1ee4a2","crc32":"84eee77f","sha1":"e789cdc9a0ca81e54a51466ef4b964ace1574121"},{"name":"computabilitylog0000bool.pdf","source":"derivative","format":"Text PDF","original":"computabilitylog0000bool_page_numbers.json","mtime":"1718917635","size":"20111026","md5":"11369a771a09700b847c2c9ea1fdf950","crc32":"596acc21","sha1":"0d7dee39fef9a387d1589e02adbaf2d9d5a0787d","private":"true"},{"name":"computabilitylog0000bool_abbyy.gz","source":"derivative","format":"Abbyy GZ","original":"computabilitylog0000bool_jp2.zip","mtime":"1558434512","size":"13585228","md5":"060419e19e90abf7df7e3868b8f6ac77","crc32":"6b3cb295","sha1":"1bdcb37997604c1ea5f6b44695746fd9b0182021","private":"true"},{"name":"computabilitylog0000bool_chocr.html.gz","source":"derivative","ocr_module_version":"0.0.17","ocr_converted":"abbyy-to-hocr 1.1.20","format":"chOCR","original":"computabilitylog0000bool_abbyy.gz","mtime":"1659777038","size":"11775891","md5":"b60c090e418738ae3542d19d2f7956c7","crc32":"0eef72b1","sha1":"873ad9ea863efadab082cda508f0875d38b93b15","private":"true"},{"name":"computabilitylog0000bool_cloth_detection.log","source":"derivative","cloth_cover_detection_module_version":"1.2","format":"Cloth Cover Detection Log","original":"computabilitylog0000bool_scandata.xml","mtime":"1669643778","size":"789","md5":"ca313b0d43cdbf9feca9162d51667db9","crc32":"206a1ee9","sha1":"0d873ac09e1dabac57cc671d0b0985dd8ab4a5a7","private":"true"},{"name":"computabilitylog0000bool_dc.xml","source":"original","format":"Dublin Core","mtime":"1558425425","size":"1395","md5":"b90f5c2ed5d2014f71b25a58b42d893b","crc32":"4312b100","sha1":"fb75b8c624aa6491501029bb8a94b05f101955c5"},{"name":"computabilitylog0000bool_djvu.txt","source":"derivative","format":"DjVuTXT","original":"computabilitylog0000bool_djvu.xml","mtime":"1659777315","size":"1103357","md5":"31477c7e938fefa2ef7271cfb91aa3ce","crc32":"5256f270","sha1":"36c531c03b0f1a22b12ea94fe34b0010e2c8a420","private":"true"},{"name":"computabilitylog0000bool_djvu.xml","source":"derivative","format":"Djvu XML","original":"computabilitylog0000bool_hocr.html","mtime":"1659777152","size":"13689047","md5":"6af9523c9ef0f296bc4ec120f283048e","crc32":"004646aa","sha1":"bc3aca126411517094dd365fa2b688dc458f437a","private":"true"},{"name":"computabilitylog0000bool_encrypted.epub","source":"derivative","format":"ACS Encrypted EPUB","original":"computabilitylog0000bool_abbyy.gz","mtime":"1558438031","size":"1382385","md5":"0de5ac26cbd8475c3ee7d32a2e46fd6c","crc32":"0cb2d877","sha1":"20a3ebaa19d117b596ff069f203b3c901f367983"},{"name":"computabilitylog0000bool_encrypted.pdf","source":"derivative","format":"ACS Encrypted PDF","original":"computabilitylog0000bool.pdf","mtime":"1718917849","size":"19902583","md5":"e11b81b852410421dce4983c19ee3590","crc32":"4033d4b8","sha1":"1285058ea395df0ef19d8b5282315f5a24b31ea2"},{"name":"computabilitylog0000bool_events.json","source":"original","mtime":"1558425321","size":"59","md5":"4a9f4916f5e51341713b828f7417a048","crc32":"e355e0cc","sha1":"99c0ad217b015e66d6f87300dadd61585e680159","format":"JSON","private":"true"},{"name":"computabilitylog0000bool_files.xml","source":"original","format":"Metadata","md5":"5263861e7a0bb0d3511c69c199c01825","summation":"md5"},{"name":"computabilitylog0000bool_hocr.html","source":"derivative","hocr_char_to_word_module_version":"1.1.0","hocr_char_to_word_hocr_version":"1.1.15","ocr_module_version":"0.0.17","ocr_converted":"abbyy-to-hocr 1.1.20","format":"hOCR","original":"computabilitylog0000bool_chocr.html.gz","mtime":"1659777129","size":"26970690","md5":"f2b8d72f53deebf64d0a9ea4ccc06e7f","crc32":"4c709bf8","sha1":"dfd834a31e8cc5f21dffc33858efbe94c7001556","private":"true"},{"name":"computabilitylog0000bool_hocr_pageindex.json.gz","source":"derivative","hocr_pageindex_module_version":"1.0.0","hocr_pageindex_hocr_version":"1.1.15","format":"OCR Page Index","original":"computabilitylog0000bool_hocr.html","mtime":"1659777207","size":"4535","md5":"9ee14236328d94fff927417b18d1591a","crc32":"2a00c1d1","sha1":"fac7a3b07cab1304cdcf2745072462fd2a653507","private":"true"},{"name":"computabilitylog0000bool_hocr_searchtext.txt.gz","source":"derivative","hocr_fts_text_module_version":"1.1.0","hocr_fts_text_hocr_version":"1.1.15","word_conf_0_10":"2351","word_conf_11_20":"1169","word_conf_21_30":"2155","word_conf_31_40":"2569","word_conf_41_50":"2938","word_conf_51_60":"3523","word_conf_61_70":"5421","word_conf_71_80":"9617","word_conf_81_90":"25529","word_conf_91_100":"119252","format":"OCR Search Text","original":"computabilitylog0000bool_hocr.html","mtime":"1659777295","size":"297549","md5":"77ef967e6b54420c81ad42770afb330e","crc32":"ce710f5d","sha1":"cf6eb3a50fbe343fe8e23ef8251eb86af1fbc5b4","private":"true"},{"name":"computabilitylog0000bool_jp2.zip","source":"derivative","format":"Single Page Processed JP2 ZIP","original":"computabilitylog0000bool_orig_jp2.tar","mtime":"1558432285","size":"195442036","md5":"a180fd5b4720747422b776fefaae940e","crc32":"22ceb4c2","sha1":"0629f2c69dde0603b01ff57a53ebe1a8c05b16b3","private":"true","filecount":"374"},{"name":"computabilitylog0000bool_lcp.epub","source":"derivative","format":"LCP Encrypted EPUB","original":"computabilitylog0000bool.epub","mtime":"1753180660","size":"1914420","md5":"88b602030e83310ad9692e16f801d4f2","crc32":"f6e7cc14","sha1":"1395c92c2a1b556b7115e0de8a20f9b1d1ba36ab"},{"name":"computabilitylog0000bool_loans.json","source":"original","mtime":"1598716091","size":"10547","format":"JSON","private":"true","md5":"085e66f2071818e047a780bec56c1e6e","crc32":"310f2dba","sha1":"c700856916f679f80747d97362b3781e7c9c571a"},{"name":"computabilitylog0000bool_marc.xml","source":"original","mtime":"1558425425","size":"3510","format":"MARC","md5":"fd19fc3e5abd89469b6fac7b311c5688","crc32":"14ef3387","sha1":"b3405310fce8ac1ab8c32b589f7cbb2d0b1f9083"},{"name":"computabilitylog0000bool_meta.mrc","source":"original","mtime":"1558326636","size":"1117","md5":"a0ad79687cd74a22d3934a1b177f4403","crc32":"901b1ed7","sha1":"bb31792f831960e55f6a08aa4f634e52c46e106e","format":"MARC Binary"},{"name":"computabilitylog0000bool_meta.sqlite","source":"original","mtime":"1558425369","size":"18432","format":"Metadata","md5":"861a34ca9490c9b9759cd129ad1de264","crc32":"bfd96d56","sha1":"7addd948f17dec73195fe608c7d67de7e7bff82e"},{"name":"computabilitylog0000bool_meta.xml","source":"original","mtime":"1753180661","size":"3710","format":"Metadata","md5":"b9cbe4ad6da76669daf94514f766a251","crc32":"7e9b4cf1","sha1":"75e6dcca397ce90d71fccb527d610f2e6be5f28f"},{"name":"computabilitylog0000bool_orig_jp2.tar","source":"original","mtime":"1558425368","size":"592496640","format":"Single Page Original JP2 Tar","private":"true","md5":"7372dce9bb26316b8e5973d680f3cfa6","crc32":"6499086c","sha1":"9f544f276252fc854832b1556b388d59fbb13f39","filecount":"374"},{"name":"computabilitylog0000bool_page_numbers.json","source":"derivative","hocr_pagenumber_module_version":"1.0.5","hocr_pagenumber_hocr_version":"1.1.54","hocr_pagenumber_confidence":"97","format":"Page Numbers JSON","original":"computabilitylog0000bool_hocr.html","mtime":"1718917634","size":"62636","md5":"c2e84b88b2936d8d33c79005e268955c","crc32":"d63c25ce","sha1":"9b8134e058cebfc42fdbf59025d5a1fe07a9b7cd","private":"true"},{"name":"computabilitylog0000bool_scandata.xml","source":"original","mtime":"1669643778","size":"383285","format":"Scandata","md5":"189a72ff2555d4849d737b8ab8b686e0","crc32":"88badee2","sha1":"10a4ff90551ca80625868903b793baabd746d951"},{"name":"computabilitylog0000bool_slip.png","source":"original","mtime":"1558325475","size":"38185","md5":"4962e372c4e00d1f828852411d32db0b","crc32":"c25c2aa9","sha1":"d79dc812a5eedd2434d6b6e83255fb695f1084d1","format":"PNG","private":"true"},{"name":"computabilitylog0000bool_slip_thumb.jpg","source":"derivative","format":"JPEG Thumb","original":"computabilitylog0000bool_slip.png","mtime":"1558425430","size":"5676","md5":"1615a53b7ae5ec53fc6ebdb014e24120","crc32":"c0d44302","sha1":"4bd69b15532c03db7512cdfe809ca3c015c23207","private":"true"},{"name":"computabilitylog0000bool_title_detection.log","source":"derivative","format":"Title Page Detection Log","original":"computabilitylog0000bool_djvu.xml","mtime":"1669643762","size":"575","md5":"c6a191ae9498d7d3bc1b28898edcbf8c","crc32":"33fc6974","sha1":"71bcbe924c4af41fbdecd152c18eed9c762a1db5","private":"true"},{"name":"logs\/computabilitylog0000bool_iabdash_2019-05-2012:30:36.log","source":"original","mtime":"1558326644","size":"682","md5":"8d53f6906a4628ff8c9078fb262b8d89","crc32":"d51b233f","sha1":"043df4175e0b6d35afc96fe07b3334a516bf9ecd","format":"Log","private":"true"},{"name":"logs\/computabilitylog0000bool_scanning_2019-05-2012:30:44.log","source":"original","mtime":"1558326649","size":"825557","md5":"5b7cc5ae23e9b607655492f041d1e621","crc32":"ed92df40","sha1":"e5318e104ce0dafe90dd5006442e26fdc5851f00","format":"Log","private":"true"}],"files_count":32,"item_last_updated":1753180673,"item_size":922285480,"metadata":{"identifier":"computabilitylog0000bool","associated-names":"Burgess, John P., 1948-; Jeffrey, Richard C","boxid":"IA1228419","camera":"Sony Alpha-A6300 (Control)","collection_set":"trent","contributor":"Internet Archive","creator":"Boolos, George","date":"2007","description":["xiii, 350 p. : 26 cm","Includes bibliographical references (p. 341) and index"],"isbn":["9780521701464","9780521877527","0521877520","0521701465"],"language":"eng","lccn":"2007014225","mediatype":"texts","old_pallet":"IA13526","openlibrary_edition":"OL10436795M","openlibrary_work":"OL17994435W","operator":"associate-jessaflor-sancover@archive.org","ppi":"300","publisher":"Cambridge ; New York : Cambridge University Press","repub_state":"19","scanner":"station05.cebu.archive.org","scanningcenter":"cebu","scribe3_search_catalog":"trent","scribe3_search_id":"0116405581897","subject":["Computable functions","Recursive functions","Logic, Symbolic and mathematical"],"title":"Computability and logic","tts_version":"2.1-final-2-gcbbe5f4","uploader":"station05.cebu@archive.org","addeddate":"2019-05-20 04:11:16","publicdate":"2019-05-20 04:11:38","imagecount":"374","scandate":"20190520053127","republisher_operator":"associate-famelajean-sipolo@archive.org","republisher_date":"20190521155428","republisher_time":"675","foldoutcount":"0","identifier-access":"http://archive.org/details/computabilitylog0000bool","identifier-ark":"ark:/13960/t99676116","bookplateleaf":"0002","external-identifier":["urn:acs6:computabilitylog0000bool:epub:3105e32b-f371-4404-81ba-ab2c7c080574","urn:acs6:computabilitylog0000bool:pdf:95060c46-2880-4969-9df7-682ead3fd6b5","urn:oclc:record:667025668","urn:lcp:computabilitylog0000bool:lcpdf:25696e84-7e28-416f-922c-ecd0a9cb0164","urn:lcp:computabilitylog0000bool:epub:d694f633-258c-444c-bebf-92035a3e7db0"],"scanfee":"2000;0;0","invoice":"1853","loans__status__status":"AVAILABLE","loans__status__num_loans":"1","loans__status__num_waitlist":"0","loans__status__num_history":"22","sponsordate":"20191231","loans__status__last_loan_date":"2020-08-24T03:09:12Z","access-restricted-item":"true","loans__status__last_waitlist_date":"2019-11-09T13:26:22Z","grant_report":"Arcadia","source":"removed","backup_location":"ia906904_11","ocr_module_version":"0.0.17","ocr_converted":"abbyy-to-hocr 1.1.20","page_number_confidence":"97","collection":["trent_university","internetarchivebooks","printdisabled"],"page_number_module_version":"1.0.5"},"server":"ia600709.us.archive.org","simplelists":{"holdings":{"drakeuniversity-ol":{"notes":{"isbn":["9780521877527"]},"sys_changed_by":{"source":"mdapi","username":"charleshorn@archive.org"},"sys_last_changed":"2020-11-10 22:01:55.523865"},"gwulibraries-ol":{"notes":{"isbn":["9780521877527"]},"sys_changed_by":{"source":"mdapi","username":"charleshorn@archive.org"},"sys_last_changed":"2021-02-19 02:24:52.966535"},"johnshopkins-ol":{"notes":{"isbn":["9780521877527"]},"sys_changed_by":{"source":"mdapi","username":"charleshorn@archive.org"},"sys_last_changed":"2020-11-12 03:48:50.424112"},"rochester-ol":{"notes":{"isbn":["9780521877527"]},"sys_changed_by":{"source":"mdapi","username":"charleshorn@archive.org"},"sys_last_changed":"2021-01-26 08:48:58.576232"},"universityofarizona-ol":{"notes":{"isbn":["9780521877527"]},"sys_changed_by":{"source":"mdapi","username":"charleshorn@archive.org"},"sys_last_changed":"2020-11-12 23:48:09.875643"}}},"uniq":1522141037,"workable_servers":["ia600709.us.archive.org","ia800709.us.archive.org"]}