スマリヤン論理学の集大成・決定版。数学者レイモンド・Ｍ．スマリヤン（１９１９-２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。