Representations of algebras and Kripke completeness of infinitary and predicate logics
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
Contents
p3
Abstract
p1
Acknowledgments
p2
1 Introduction
p1
1.1 Infinitary Connectives
p1
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
- Yoshihito Tanaka [著]
- Author Heading
- 田中, 義人 タナカ, ヨシヒト
- Publication, Distribution, etc.
- Publication Date
- [1999]
- Alternative Title
- 代数の表現と無限および述語論理のクリプキ完全性 ダイスウ ノ ヒョウゲン ト ムゲン オヨビ ジュツゴ ロンリ ノ クリプキ カンゼンセイ
- Degree grantor/type
- 北陸先端科学技術大学院大学
- Date Granted
- 平成11年3月23日
- Date Granted (W3CDTF)
- 1999