{"@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/BC16322503.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BC16322503#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BC16322503.json"},"dc:title":[{"@value":"Arnon Avron on semantics and proof theory of non-classical logics"}],"dc:creator":"Ofer Arieli, Anna Zamansky, editors","dc:publisher":[{"@value":"Springer"}],"dcterms:extent":"xxxix, 339 p.","cinii:size":"25 cm","dc:language":"eng","dc:date":"2022","cinii:ncid":"BC16322503","cinii:ownerCount":"3","foaf:maker":[{"@type":"foaf:Person","foaf:name":[{"@value":"Arieli, Ofer"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Zamansky, Anna"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA002087","@type":"foaf:Organization","foaf:name":"新潟大学 附属図書館","rdfs:seeAlso":{"@id":"http://opac.lib.niigata-u.ac.jp/opc/recordID/catalog.bib/BC16322503"}},{"@id":"https://ci.nii.ac.jp/library/FA002371","@type":"foaf:Organization","foaf:name":"静岡大学 附属図書館","rdfs:seeAlso":{"@id":"https://uni.lib.shizuoka.ac.jp/sul/resolver/svc_dat=suopac/rfr_id=https%3A%2F%2Fnii.ac.jp/?pid=ncid%3ABC16322503"}},{"@id":"https://ci.nii.ac.jp/library/FA003035","@type":"foaf:Organization","foaf:name":"神戸大学 附属図書館 自然科学系図書館","rdfs:seeAlso":{"@id":"https://op.lib.kobe-u.ac.jp/opac/opac_openurl/?rfe_dat=ncid/BC16322503"}}],"prism:publicationDate":["c2021"],"cinii:note":["Includes bibliographical references"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Logic%2C+Symbolic+and+mathematical","dc:title":"Logic, Symbolic and mathematical"}],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BB14796033#entity","dc:title":"Outstanding contributions to logic, v. 21","@type":"bibo:Book"}],"dcterms:hasPart":[{"@id":"urn:isbn:9783030712570"}]}]}