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

• 資料種別: 図書
• タイトル: チャーチのラムダ計算のBCK論理による再生
• タイトルよみ: チャーチ ノ ラムダ ケイサン ノ BCK ロンリ ニ ヨル サイセイ
• 著者・編者: 古森雄一, 千葉大学 [著]
• 著者標目: 古森, 雄一 コモリ, ユウイチ ( 01203838 )典拠; 千葉大学 チバ ダイガク ( 00304850 )典拠
• 出版事項: [古森雄一]
• 出版年月日等: 2003-2006; 2007.6
• 出版年（W3CDTF）: 2003; 2006
• 数量: 8, 48枚
• その他のタイトル: 研究種目 基盤研究(C)
• 出版地（国名コード）: JP
• 本文の言語コード: jpn; eng
• 件名標目: 数理論理学 / ラムダ計算 / 集合論 / P=NP問題 / BCK論理 / 古典論理 / 直観主義論理 / 極小論理式 スウリ ロンリガク / ラムダ ケイサン / シュウゴウロン / P=NP モンダイ / BCK ロンリ / コテン ロンリ / チョッカン シュギ ロンリ / キョクショウ ロンリシキ
• NDLC: Y151
• 一般注記: 文部科学省科学研究費補助金研究成果報告書
• 科研費課題番号: 15540107
• 所蔵機関: 国立国会図書館
• 請求記号: Y151-H15540107
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000009321180; http://id.ndl.go.jp/bib/000009321180
• 整理区分コード: 214