近くの書店で在庫を調べる
  • Authorレーモンド・M.スマリヤン 高橋昌一郎 村上祐子
  • Publisher丸善出版
  • ISBN9784621087855
  • Publish Date2014年11月

数理論理学 / 述語論理と完全性定理

数学の奇才スマリヤンの集大成とも言える「ロジカル・ラビリンス」の全訳。完全性定理、不完全性定理という、論理学の基礎を学ぶ上でも必須である述語論理について、丁寧にわかりやすく解説。

>> 続きを表示
    •  
    • This book can be read at
    • Borrowed People