はじめての数理論理学 - 証明を作りながら学ぶ記号論理の考え方