Jump to main content
図書

部分構造論理の研究

Icons representing 図書

部分構造論理の研究

Call No. (NDL)
Y151-H10640103
Bibliographic ID of National Diet Library
000007059911
Material type
図書
Author
古森, 雄一, 千葉大学
Publisher
-
Publication date
1998-1999
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

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

Material Type
図書
Title Transcription
ブブン コウゾウ ロンリ ノ ケンキュウ
Author/Editor
古森, 雄一, 千葉大学
Author Heading
著者 : 古森, 雄一 コモリ, ユウイチ ( 01203838 )Authorities
Publication Date
1998-1999
Publication Date (W3CDTF)
1998
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
部分構造論理 ブブンコウゾウロンリ
古典論理 コテンロンリ
直観主義論理 チヨツカンシユギロンリ
BCK論理 BCKロンリ
ラムダ計算 ラムダケイサン
型理論 カタリロン