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

読者サポートページ

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

●書籍情報

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

目次

森北出版による紹介

●追加情報

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

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

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