復刊投票コメント一覧
数理論理学
全13件
証明が大変細かく載っています。
Gentzenスタイルの入門書として、
論理学の入門書として、
また、計算練習の本として、
最適です。
まさに証明論らしい本です。
2004/09/02
証明が大変細かく載っています。
Gentzenスタイルの入門書として、
論理学の入門書として、
また、計算練習の本として、
最適です。
まさに証明論らしい本です。
2004/09/02
全13件
証明が大変細かく載っています。
Gentzenスタイルの入門書として、
論理学の入門書として、
また、計算練習の本として、
最適です。
まさに証明論らしい本です。
2004/09/02
証明が大変細かく載っています。
Gentzenスタイルの入門書として、
論理学の入門書として、
また、計算練習の本として、
最適です。
まさに証明論らしい本です。
2004/09/02