{"@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/BD13743659.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BD13743659#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BD13743659.json"},"dc:title":[{"@value":"Positive topology : a new practice in constructive mathematics"}],"dc:creator":"Giovanni Sambin","dc:publisher":[{"@value":"Oxford University Press"},{"cinii:publisherRole":"copyright_notice_date"}],"dcterms:extent":"xxxiv, 618 pages","cinii:size":"24 cm","dc:language":"eng","dc:date":"2025","cinii:ncid":"BD13743659","cinii:ownerCount":"6","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA06193621#entity","@type":"foaf:Person","foaf:name":[{"@value":"Sambin, Giovanni"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA001390","@type":"foaf:Organization","foaf:name":"東北大学 附属図書館 北青葉山分館","rdfs:seeAlso":{"@id":"https://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BD13743659"}},{"@id":"https://ci.nii.ac.jp/library/FA001415","@type":"foaf:Organization","foaf:name":"東北大学 附属図書館 工学分館","rdfs:seeAlso":{"@id":"https://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BD13743659"}},{"@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=BD13743659"}},{"@id":"https://ci.nii.ac.jp/library/FA002484","@type":"foaf:Organization","foaf:name":"名古屋大学 理学 図書室","rdfs:seeAlso":{"@id":"https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BD13743659&initFlg=_RESULT_SET_NOTBIB"}},{"@id":"https://ci.nii.ac.jp/library/FA002768","@type":"foaf:Organization","foaf:name":"京都大学 数理解析研究所 図書室","rdfs:seeAlso":{"@id":"https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BD13743659"}},{"@id":"https://ci.nii.ac.jp/library/FA02289X","@type":"foaf:Organization","foaf:name":"九州大学 理系図書館","rdfs:seeAlso":{"@id":"https://catalog.lib.kyushu-u.ac.jp/opac_openurl/?ncid=BD13743659"}}],"bibo:lccn":["2024932909"],"rdfs:seeAlso":[{"@id":"https://lccn.loc.gov/2024932909"}],"prism:publicationDate":["[2025]","c2025"],"cinii:note":["Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)","Includes bibliographical references (pages [600]-609) and index"],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BA00017765#entity","dc:title":"Oxford logic guides, 57","@type":"bibo:Book"}],"dcterms:hasPart":[{"@id":"urn:isbn:9780199232888"}]}]}