WEKO3
アイテム
{"_buckets": {"deposit": "376b6074-ff60-4b3f-80e6-6b5c6de62cee"}, "_deposit": {"id": "39886", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "39886"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:00039886", "sets": ["6800", "6802"]}, "item_4_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1966-12-28", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "2", "bibliographicPageEnd": "187", "bibliographicPageStart": "183", "bibliographicVolumeNumber": "13", "bibliographic_titles": [{"bibliographic_title": "Journal of the Faculty of Science, University of Tokyo. Sect. 1, Mathematics, astronomy, physics, chemistry = 東京大學理學部紀要. 第1類, 數學, 天文學, 物理學, 化學"}]}]}, "item_4_description_13": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_4_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.15083/00039877", "subitem_identifier_reg_type": "JaLC"}]}, "item_4_publisher_20": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Faculty of Science, The University of Tokyo"}]}, "item_4_source_id_10": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA00697945", "subitem_source_identifier_type": "NCID"}]}, "item_4_source_id_8": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "03682269", "subitem_source_identifier_type": "ISSN"}]}, "item_4_subject_15": {"attribute_name": "日本十進分類法", "attribute_value_mlt": [{"subitem_subject": "410", "subitem_subject_scheme": "NDC"}]}, "item_4_text_34": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_text_value": "Departmental Bulletin Paper"}]}, "item_4_text_4": {"attribute_name": "著者所属", "attribute_value_mlt": [{"subitem_text_value": "Faculty of Science, The University of Tokyo"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Hosoi, Tsutomu"}], "nameIdentifiers": [{"nameIdentifier": "138606", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-06-27"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "jfs130207.pdf", "filesize": [{"value": "218.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 218000.0, "url": {"label": "jfs130207.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/39886/files/jfs130207.pdf"}, "version_id": "0b82a328-cff2-4ea3-b77e-809de0fa5fbf"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "The axiomatization of the intermediate propositional systems $S_2$ of Godel", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "The axiomatization of the intermediate propositional systems $S_2$ of Godel"}]}, "item_type_id": "4", "owner": "1", "path": ["6800", "6802"], "permalink_uri": "https://doi.org/10.15083/00039877", "pubdate": {"attribute_name": "公開日", "attribute_value": "2008-03-31"}, "publish_date": "2008-03-31", "publish_status": "0", "recid": "39886", "relation": {}, "relation_version_is_last": true, "title": ["The axiomatization of the intermediate propositional systems $S_2$ of Godel"], "weko_shared_id": null}
The axiomatization of the intermediate propositional systems $S_2$ of Godel
https://doi.org/10.15083/00039877
https://doi.org/10.15083/00039877e1272859-6778-4359-b15c-4ec5df120c82
名前 / ファイル | ライセンス | アクション |
---|---|---|
jfs130207.pdf (218.0 kB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-03-31 | |||||
タイトル | ||||||
タイトル | The axiomatization of the intermediate propositional systems $S_2$ of Godel | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | departmental bulletin paper | |||||
ID登録 | ||||||
ID登録 | 10.15083/00039877 | |||||
ID登録タイプ | JaLC | |||||
著者 |
Hosoi, Tsutomu
× Hosoi, Tsutomu |
|||||
著者所属 | ||||||
著者所属 | Faculty of Science, The University of Tokyo | |||||
書誌情報 |
Journal of the Faculty of Science, University of Tokyo. Sect. 1, Mathematics, astronomy, physics, chemistry = 東京大學理學部紀要. 第1類, 數學, 天文學, 物理學, 化學 巻 13, 号 2, p. 183-187, 発行日 1966-12-28 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 03682269 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA00697945 | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
日本十進分類法 | ||||||
主題 | 410 | |||||
主題Scheme | NDC | |||||
出版者 | ||||||
出版者 | Faculty of Science, The University of Tokyo |