はじめての数理論理学

• タイトルヨミ: ハジメテノスウリロンリガク
• サブタイトル: 証明を作りながら学ぶ記号論理の考え方
• サブタイトルヨミ: ショウメイオツクリナガラマナブキゴウロンリノカンガエカタ
• 著編者等／著者名等: 山田俊行‖著
• 統一著者名: 山田俊行
• 著編者等ヨミ／著者名等ヨミ: ヤマダトシユキ
• 出版者: 森北出版
• 出版地: 東京
• 出版年: 2018.7
• 大きさ: 7,131p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-627-07801-7
• マークNo: TRC000000018035513
• タイトルコード: 1000001154943
• 資料番号: 00000000000009558032
• 請求記号: 410.96/ﾔﾏ ﾊ
• 内容紹介: 論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
• 種別: 図書
• 配架場所: 03141