博士論文

On some characterizations of implicational formulas in the intuitionistic logic

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

On some characterizations of implicational formulas in the intuitionistic logic

Call No. (NDL)
UT51-97-L489
Bibliographic ID of National Diet Library
000000310498
Persistent ID (NDL)
info:ndljp/pid/3125307
Material type
博士論文
Author
青戸等人 [著]
Publisher
-
Publication date
-
Material Format
Paper・Digital
Capacity, size, etc.
-
Name of awarding university/degree
北陸先端科学技術大学院大学,博士 (情報科学)
View All

Notes on use

Note (General):

博士論文

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

Read in Disability Resources

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.

Paper Digital

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
博士 (情報科学)