論理学

「はじめての数理論理学」を読んだ

数学論理学

命題を(形式的に)正しく書き下せないと数学専門の人と会話にすら出来ないのではじめての数理論理学証明を作りながら学ぶ記号論理の考え方 | 森北出版株式会社を読んだ。以下駄文。