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

Author(s)

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

Bibliographic Information

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

安部直人, 中西泰雄著

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

第2版

Title Transcription

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

Available at  / 5 libraries

Note

参考文献: p177

Details

  • NCID
    BB21089171
  • ISBN
    • 9784865432411
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    [出版地不明]
  • Pages/Volumes
    179p
  • Size
    26cm
Page Top