On some characterizations of implicational formulas in the intuitionistic logic
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
Abstract
p1
Contents
p3
1 Introduction
p5
1.1 Motivation and history
p5
1.2 Main results of the thesis and overview
p9
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- 青戸等人 [著]
- Author Heading
- 青戸, 等人 アオト, タカヒト
- Alternative Title
- 直観主義論理における含意式の特徴付けについて チョッカン シュギ ロンリ ニ オケル ガンイシキ ノ トクチョウズケ ニ ツイテ
- Degree grantor/type
- 北陸先端科学技術大学院大学
- Date Granted
- 平成9年3月25日
- Date Granted (W3CDTF)
- 1997
- Dissertation Number
- 甲第2号
- Degree Type
- 博士 (情報科学)