Conjunctive normal forms and weak model logics without the axiom of necessity

Notes on use

Search by Bookstore

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: Conjunctive normal forms and weak model logics without the axiom of necessity
Author/Editor: 大濱茂生 [著]
Author Heading: 大濱, 茂生オオハマ, シゲオ
Extent: 冊
Alternative Title: 積標準形と必然性公理をもたない弱い様相論理セキヒョウジュンケイトヒツゼンセイコウリオモタナイヨワイヨウソウロンリ
Degree grantor/type: 名古屋大学
Date Granted: 昭和59年1月31日
Date Granted (W3CDTF): 1984
Dissertation Number: 乙第2503号
Degree Type: 理学博士
Note (Dissertation): 博士論文
Place of Publication (Country Code): JP
NDLC: UT51
UT21
Note (General): 博士論文
Holding library: 国立国会図書館
Call No.: UT51-59-E747
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000000206271
http://id.ndl.go.jp/bib/000000206271
Bibliographic Record Category (NDL): 213