スマリヤン 数理論理学講義(下巻) の商品レビュー

レイモンド・M・スマリヤン(著者),川辺治之(訳者),田中一之

2023/09/29

本書は，論理学者やパズル作家として有名な著者による集大成と言えるものである。上巻では命題論理や述語論理の初歩から解説されており，初学者読みやすい構成となっている。下巻では，その応用や再帰的関数論やコンビナータ論理について詳しく説明しており，特色を持っている。また，練習問題も本文の内容に含まれており，適切な難易度で教育的な効果が期待できる。