数理論理の手法 : 証明の発見と背理法の除去

著者

• 安部, 直人 アベ, ナオト
• 中西, 泰雄 ナカニシ, ヤスオ

書誌事項

数理論理の手法 : 証明の発見と背理法の除去

安部直人, 中西泰雄著

デザインエッグ, 2017.2

第3版

タイトル読み

スウリ ロンリ ノ シュホウ : ショウメイ ノ ハッケン ト ハイリホウ ノ ジョキョ

注記

参考文献: p175

詳細情報

• NII書誌ID(NCID): BB24233117
• ISBN:
  • 9784865432411
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [出版地不明]
• ページ数/冊数: 177p
• 大きさ: 26cm