{"@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/BA43019773.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BA43019773#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BA43019773.json"},"dc:title":[{"@value":"2階算術の諸体系の研究 : 短期共同研究"},{"@value":"2カイ サンジュツ ノ ショタイケイ ノ ケンキュウ : タンキ キョウドウ ケンキュウ","@language":"ja-hrkt"}],"dc:publisher":[{"@value":"京都大学数理解析研究所"}],"dcterms:extent":"88p","cinii:size":"26cm","dc:language":"jpneng","dc:date":"1999","cinii:ncid":"BA43019773","cinii:ownerCount":"3","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA00277933#entity","@type":"foaf:Person","foaf:name":[{"@value":"京都大学数理解析研究所"},{"@value":"キョウト ダイガク スウリ カイセキ ケンキュウショ","@language":"ja-hrkt"}]}],"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=BA43019773"}},{"@id":"https://ci.nii.ac.jp/library/FA003760","@type":"foaf:Organization","foaf:name":"東京都立大学 図書館","rdfs:seeAlso":{"@id":"https://opactmu.lib.tmu.ac.jp/iwjs0013opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA43019773"}},{"@id":"https://ci.nii.ac.jp/library/FA006758","@type":"foaf:Organization","foaf:name":"立教大学 図書館","rdfs:seeAlso":{"@id":"https://opac.rikkyo.ac.jp/opac/opac_openurl/?ncid=BA43019773"}}],"prism:publicationDate":["1999.4"],"cinii:note":["短期共同研究「2階算術の諸体系の研究」報告集: 1999年1月11日-1月14日, 研究代表者:田中一之","参考文献あり"],"cinii:contentOfWorks":["LKの証明図に関する標準型定理 / 池田一磨","ATR[[0]のモデル論的ordinal analysis / 高橋康博","Reverse mathematics and weak second-order systems of 0-1 strings / 山崎武","Complesity theory and bounded arithmetic for truly feasible computation / 黒田覚","Lagrange-Good inversion from trace / 長谷川立","A study of Abramsky's linear chemical abstract machine / 三上清光, 赤間陽二","2階算術と有界選択公理 / 田中一之, 山崎武"],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BN06637050#entity","dc:title":"数理解析研究所講究録, 1096","@type":"bibo:Book"}]}]}