{"@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/BD01274029.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BD01274029#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BD01274029.json"},"dc:title":[{"@value":"Logical methods"}],"dc:creator":"Greg Restall and Shawn Standefer","dc:publisher":[{"@value":"The MIT Press"}],"dcterms:extent":"xiv, 270 p.","cinii:size":"26 cm","dc:language":"eng","dc:date":"2023","cinii:ncid":"BD01274029","cinii:ownerCount":"3","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA17153006#entity","@type":"foaf:Person","foaf:name":[{"@value":"Restall, Greg"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Standefer, Shawn"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA005019","@type":"foaf:Organization","foaf:name":"学習院大学 図書館","rdfs:seeAlso":{"@id":"https://glim-op.glim.gakushuin.ac.jp/webopac/cattab.do?sp_srh_flg=true&ncid=BD01274029"}},{"@id":"https://ci.nii.ac.jp/library/FA014009","@type":"foaf:Organization","foaf:name":"北陸先端科学技術大学院大学 附属図書館"},{"@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=BD01274029"}}],"bibo:lccn":["2022006372"],"rdfs:seeAlso":[{"@id":"https://lccn.loc.gov/2022006372"}],"prism:publicationDate":["c2023"],"cinii:note":["Includes bibliographical references (p. [261]-266) and indexes","Summary: \"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well\"-- Provided by publisher"],"dc:subject":["LCC:BC71","DC23:511.3"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Logic+--+Textbooks","dc:title":"Logic -- Textbooks"}],"dcterms:hasPart":[{"@id":"urn:isbn:9780262544849","dc:title":": [pbk.]"}]}]}