スマリヤン 数理論理学講義(下巻) 不完全性定理の先へ

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

• 販売会社／発売会社: 日本評論社
• 発売年月日: 2018/09/20
• JAN: 9784535788510

商品レビュー

2023/09/29

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