構成的論理の推論構造の研究

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: 構成的論理の推論構造の研究
Title Transcription: コウセイテキロンリノスイロンコウゾウノケンキュウ
Author/Editor: 廣川, 佐千男, 九州大学
Author Heading: 廣川, 佐千男ヒロカワ, サチオ
Publication Date: 1993-1994
Publication Date (W3CDTF): 1993
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 構成的論理コウセイテキロンリ
ラムダ計算ラムダケイサン
型理論カタリロン
直観主義論理チヨツカンシユギロンリ
適切さの論理テキセツサノロンリ
curry-Haward CURRY-HAWARD
型としての論理式カタトシテノロンリシキ
古典論理コテンロンリ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 05680276
Holding library: 国立国会図書館
Call No.: Y151-H05680276
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006994652
http://id.ndl.go.jp/bib/000006994652
Bibliographic Record Category (NDL): 214