文系のための記号論理入門

• タイトルヨミ: ブンケイノタメノキゴウロンリニュウモン
• サブタイトル: 命題論理から不完全性定理まで
• サブタイトルヨミ: メイダイロンリカラフカンゼンセイテイリマデ
• 著編者等／著者名等: 金子裕介‖著
• 統一著者名: 金子裕介
• 著編者等ヨミ／著者名等ヨミ: カネコユウスケ
• 出版者: 朝倉書店
• 出版地: 東京
• 出版年: 2021.5
• 大きさ: 8,211p
• 件名: 記号論理学
• 分類: 116.3,116.3
• ISBN: 978-4-254-50034-9
• マークNo: TRC000000021019928
• タイトルコード: 1000001413362
• 資料番号: 00000000000010141695
• 請求記号: 116.3/ｶﾈ ﾌ
• 内容紹介: 文系学生に向けた記号論理学の入門書。命題論理の構文論からメタ論理、反証図、完全性定理、不完全性定理までを、ていねいに説き起こす。練習問題も収録。
• 種別: 図書
• 配架場所: 03111