{"created":"2023-05-15T15:29:19.931501+00:00","id":1617,"links":{},"metadata":{"_buckets":{"deposit":"11f34bc4-f8df-4e68-b21e-49bfbf6c70ef"},"_deposit":{"created_by":3,"id":"1617","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"1617"},"status":"published"},"_oai":{"id":"oai:barrel.repo.nii.ac.jp:00001617","sets":["20:215"]},"author_link":["3565","3564"],"item_5_biblio_info_5":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1994-03-31","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"81","bibliographicPageStart":"57","bibliographicVolumeNumber":"87","bibliographic_titles":[{"bibliographic_title":"小樽商科大学人文研究"}]}]},"item_5_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"3565","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Kaneiwa, Ryuji"}]}]},"item_5_publisher_6":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"小樽商科大学"}]},"item_5_source_id_11":{"attribute_name":"書誌ID（NCID）","attribute_value_mlt":[{"subitem_source_identifier":"AN00133464","subitem_source_identifier_type":"NCID"}]},"item_5_source_id_7":{"attribute_name":"ISSN / EISSN","attribute_value_mlt":[{"subitem_source_identifier":"0482458X","subitem_source_identifier_type":"ISSN"}]},"item_5_subject_16":{"attribute_name":"日本十進分類法","attribute_value_mlt":[{"subitem_subject":"410","subitem_subject_scheme":"NDC"}]},"item_5_subject_17":{"attribute_name":"NIIサブジェクト","attribute_value_mlt":[{"subitem_subject":"数学","subitem_subject_scheme":"Other"}]},"item_5_version_type_15":{"attribute_name":"テキストバージョン","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"兼岩, 龍二"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-01-23"}],"displaytype":"detail","filename":"RLA_87_57-81.pdf","filesize":[{"value":"686.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"RLA_87_57-81.pdf","url":"https://barrel.repo.nii.ac.jp/record/1617/files/RLA_87_57-81.pdf"},"version_id":"02daef09-8423-4585-bba4-0488308cc6ed"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"高階古典論理の形式的体系の試作 I","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"高階古典論理の形式的体系の試作 I"},{"subitem_title":"A Formal System of Higher Order Logic(I)","subitem_title_language":"en"}]},"item_type_id":"5","owner":"3","path":["215"],"pubdate":{"attribute_name":"公開日","attribute_value":"2008-12-04"},"publish_date":"2008-12-04","publish_status":"0","recid":"1617","relation_version_is_last":true,"title":["高階古典論理の形式的体系の試作 I"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-05-16T07:39:08.007317+00:00"}