中間論理,様相論理のBeth型タブロー証明系〔英文〕
書誌事項
- タイトル別名
-
- チュウカン ロンリ ヨウソウ ロンリ ノ Bethガタ タブロー ショウメイケ
この論文をさがす
抄録
記事分類: 数学
収録刊行物
-
- 津田塾大学紀要 = Journal of Tsuda University / 津田塾大学全学研修・紀要委員会 編
-
津田塾大学紀要 = Journal of Tsuda University / 津田塾大学全学研修・紀要委員会 編 (9), p49-60, 1977
小平 : 津田塾大学全学研修・紀要委員会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1520572360379252736
-
- NII論文ID
- 40002471198
-
- NII書誌ID
- AN00149216
-
- ISSN
- 02877805
-
- NDL書誌ID
- 1911043
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZV1(一般学術誌--一般学術誌・大学紀要)
-
- データソース種別
-
- NDL
- CiNii Articles