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

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