Read via the Internet
Begin reading now
国立国会図書館デジタルコレクション
Search by Bookstore
Read this material in an accessible format.
Table of Contents
もくじ
p1
1 序論
p1
1.1 本研究の目的
p1
1.2 本研究の背景
p7
2 直観主義論理に基づくプログラム理論
p15
Search by Bookstore
Read in Disability Resources
- プレーンテキスト
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
- 博士論文
- Title Transcription
- コウセイテキ ロンリ ニ モトズク プログラム ノ ゴウセイ ト カイセキ ノ ケンキュウ
- Author/Editor
- 後藤滋樹 [著]
- Author Heading
- 後藤, 滋樹, 1948- ゴトウ, シゲキ, 1948- ( 00138919 )Authorities
- Degree grantor/type
- 東京大学
- Date Granted
- 平成3年2月14日
- Date Granted (W3CDTF)
- 1991
- Dissertation Number
- 乙第10041号
- Degree Type
- 工学博士