形式論理学

• タイトルヨミ: ケイシキロンリガク
• サブタイトル: その展望と限界
• サブタイトルヨミ: ソノテンボウトゲンカイ
• 著編者等／著者名等: リチャード・ジェフリー‖著 戸田山和久‖訳
• 統一著者名ヨミ: Jeffrey Richard
• 統一著者名: 戸田山和久
• 著編者等ヨミ／著者名等ヨミ: ジェフリーリチャード トダヤマカズヒサ
• 出版者: 産業図書
• 出版地: 東京
• 出版年: 1995.3
• 大きさ: 224p
• 件名: 論理学
• 分類: 116.1,116.1 116.1
• ISBN: 4-7828-0092-4
• マークNo: TRC000000095010466
• タイトルコード: 1000001224360
• 資料番号: 00000000000100314574
• 請求記号: 116.1/ｼｴ ｹ
• 一般注記: 原タイトル：Formal logic
• 内容紹介: 初心者向けに書かれた形式論理学書。命題論理から、ゲーデルの不完全性定理やチャーチ=チューリングの定理等までを取り扱っている。
• 種別: 図書
• 配架場所: 034E0