{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BB28525431.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BB28525431#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BB28525431.json"},"dc:title":[{"@value":"The collected works of Alonzo Church"}],"dc:creator":"Tyler Burge, chief editor ; Herbert B. Enderton, editor","dc:publisher":[{"@value":"MIT Press"}],"dcterms:extent":"xxiv, 1189 p., [12] p. of plates","cinii:size":"27 cm","dc:language":"eng","dc:date":"2019","cinii:ncid":"BB28525431","cinii:ownerCount":"5","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA02597673#entity","@type":"foaf:Person","foaf:name":[{"@value":"Church, Alonzo"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Burge, Tyler"}]},{"@id":"https://ci.nii.ac.jp/author/DA01165516#entity","@type":"foaf:Person","foaf:name":[{"@value":"Enderton, Herbert B"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA013990","@type":"foaf:Organization","foaf:name":"東京大学 数理科学研究科","rdfs:seeAlso":{"@id":"https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_openurl/?ncid=BB28525431"}},{"@id":"https://ci.nii.ac.jp/library/FA002429","@type":"foaf:Organization","foaf:name":"名古屋大学 情報・言語合同図書室","rdfs:seeAlso":{"@id":"https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BB28525431&initFlg=_RESULT_SET_NOTBIB"}},{"@id":"https://ci.nii.ac.jp/library/FA002677","@type":"foaf:Organization","foaf:name":"京都大学 理学部","rdfs:seeAlso":{"@id":"https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BB28525431"}},{"@id":"https://ci.nii.ac.jp/library/FA002848","@type":"foaf:Organization","foaf:name":"大阪大学 附属図書館 総合図書館","rdfs:seeAlso":{"@id":"https://opac.library.osaka-u.ac.jp/opac/opac_openurl/?ncid=BB28525431"}},{"@id":"https://ci.nii.ac.jp/library/FA014665","@type":"foaf:Organization","foaf:name":"大学共同利用機関法人 人間文化研究機構 国立国語研究所","rdfs:seeAlso":{"@id":"https://libgw.ninjal.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BB28525431"}}],"prism:publicationDate":["c2019"],"cinii:note":["Includes bibliographical references and indexes"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Logic%2C+Symbolic+and+mathematical","dc:title":"Logic, Symbolic and mathematical"},{"@id":"https://ci.nii.ac.jp/books/search?q=Mathematics--Philosophy","dc:title":"Mathematics--Philosophy"}],"dcterms:hasPart":[{"@id":"urn:isbn:9780262025645"}]}]}