A sequent system for a sublogic of the smallest interpretability logic
書誌事項
- タイトル別名
-
- sequent system for a sublogic of the smallest interpretability logic
この論文をさがす
収録刊行物
-
- アカデミア. 数理情報編 : 南山大学紀要
-
アカデミア. 数理情報編 : 南山大学紀要 3 1-17, 2003-03
名古屋 : 南山大学
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1520290884786530048
-
- NII論文ID
- 40005902237
-
- NII書誌ID
- AA1184028X
-
- ISSN
- 13463977
-
- NDL書誌ID
- 6656837
-
- 本文言語コード
- en
-
- NDL 雑誌分類
-
- ZM31(科学技術--数学)
-
- データソース種別
-
- NDL
- CiNii Articles