Proof theoretical investigations for Visser's logics, classical logic and the first-order arithmetic フィッサーの論理、古典論理および一階算術に関する証明論的研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Proof theoretical investigations for Visser's logics, classical logic and the first-order arithmetic
- Other Title
-
フィッサーの論理、古典論理および一階算術に関する証明論的研究
- Author
-
石井, 克正
- Author(Another name)
-
イシイ, カツマサ
- University
-
北陸先端科学技術大学院大学
- Types of degree
-
博士 (情報科学)
- Grant ID
-
甲第154号
- Degree year
-
2002-03-22
Note and Description
博士論文
Supervisor:石原 哉
情報科学研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/915