『一歩ずつマスターする 論理学入門』
『一歩ずつマスターする 論理学入門』
このページは、『一歩ずつマスターする 論理学入門』 のサポートページです。 出版社のウェブページは
こちら
です。
教科書と合わせて使えるよう、以下の資料を補う予定です。
正誤表
TeXの使い方
追加の練習問題
証明支援系の使い方