はじめての数理論理学 = Mathematical Logic for Beginners : 証明を作りながら学ぶ記号論理の考え方