Bookspots
Help
Registration
Community
Login
近くの書店で在庫を調べる
Author
レーモンド・M.スマリヤン 高橋昌一郎 村上祐子
Publisher
丸善出版
ISBN
9784621087855
Publish Date
2014年11月
数理論理学 / 述語論理と完全性定理
数学の奇才スマリヤンの集大成とも言える「ロジカル・ラビリンス」の全訳。完全性定理、不完全性定理という、論理学の基礎を学ぶ上でも必須である述語論理について、丁寧にわかりやすく解説。
>> 続きを表示
This book can be read at
Borrowed People
Borrowable
Kiwaki lab.
No borrowed yet