証明法（論）と論理学って根本的に同じ？
たとえば
証明の読み方・書き方
http://www.amazon.co.jp/dp/4320013425/
論理学をつくる
http://www.amazon.co.jp/dp/4815803900/