定理証明手習い

Author(s)

Bibliographic Information

定理証明手習い

Daniel P. Friedman, Carl Eastlund著

ラムダノート, 2017.10

Other Title

The little prover

Title Transcription

テイリ ショウメイ テナライ

Available at  / 37 libraries

Note

中野圭介監訳

索引あり

原著(MIT Press, c2015)の翻訳

訳者(監訳者序文による): 鹿野桂一郎

Details

  • NCID
    BB24952022
  • ISBN
    • 9784908686023
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    xiv, 220p
  • Size
    21cm
  • Subject Headings
Page Top