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

著者

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

書誌事項

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

安部直人, 中西泰雄著

デザインエッグ, [201-]

第2版

タイトル読み

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

大学図書館所蔵 件 / 5

この図書・雑誌をさがす

注記

参考文献: p177

詳細情報

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