はじめての数理論理学

証明を作りながら学ぶ記号論理の考え方