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

読者サポートページ

http://www.cs.info.mie-u.ac.jp/~toshi/books/mathlogic/

●書籍情報

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

目次

森北出版による紹介

●追加情報

正誤表 修正点を正誤表に沿ってお読み替えください. 特に,第2刷以前には,自然演繹の規則∃Eの変数条件の説明に誤りがあるので,ご注意ください.

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

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