『はじめての数理論理学』

山田俊行，『はじめての数理論理学：証明を作りながら学ぶ記号論理の考え方』，森北出版，2018．

目次

森北出版による紹介

• 正誤表を更新しました．(2022.7.19 更新)
• 第1版が重版されました．第4刷が最新です．(2022.8.25 更新)

正誤表： 修正点を正誤表に沿ってお読み替えください．

補足： 追加の解説をまとめた補足事項の一覧も，ご活用ください．

ご意見をお寄せくださった読者の皆様に感謝いたします．