構成性を中間述語論理の観点から理解する

資料に関する注記

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

静岡大学学術リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
静岡大学学術リポジトリのサイトでこの本を確認

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 文書・図像類
タイトル: 構成性を中間述語論理の観点から理解する
著者・編者: 鈴木, 信行
著者標目: 鈴木, 信行
出版年月日等: 2022-06-17
出版年（W3CDTF）: 2022-06-17
並列タイトル等: Understanding constructivity from the perspective of intermediate predicate logics
本文の言語コード: jpn
件名標目: 構成性,非古典論理
述語論理
disjunction property
existence property
対象利用者: 一般
一般注記: 2016～2021年度科学研究費助成事業(基盤研究(C)(一般))研究成果報告書
記録形式（IMT）: application/pdf
一次資料へのリンクURL: https://shizuoka.repo.nii.ac.jp/?action=repository_action_common_download&item_id=14725&item_no=1&attribute_id=31&file_no=1
https://shizuoka.repo.nii.ac.jp/?action=repository_action_common_download&item_id=14725&item_no=1&attribute_id=31&file_no=1
オンライン閲覧公開範囲: 限定公開
関連情報: 16K05252
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 静岡大学 : 静岡大学学術リポジトリ