チャーチのラムダ計算のBCK論理による再生

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: チャーチのラムダ計算のBCK論理による再生
Title Transcription: チャーチノラムダケイサンノ BCK ロンリニヨルサイセイ
Author/Editor: 古森雄一, 千葉大学 [著]
Author Heading: 古森, 雄一コモリ, ユウイチ ( 01203838 )Authorities
千葉大学チバダイガク ( 00304850 )Authorities
Publication, Distribution, etc.: [古森雄一]
Publication Date: 2003-2006
2007.6
Publication Date (W3CDTF): 2003
2006
Extent: 8, 48枚
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 数理論理学 / ラムダ計算 / 集合論 / P=NP問題 / BCK論理 / 古典論理 / 直観主義論理 / 極小論理式スウリロンリガク / ラムダケイサン / シュウゴウロン / P=NP モンダイ / BCK ロンリ / コテンロンリ / チョッカンシュギロンリ / キョクショウロンリシキ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15540107
Holding library: 国立国会図書館
Call No.: Y151-H15540107
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009321180
http://id.ndl.go.jp/bib/000009321180
Bibliographic Record Category (NDL): 214