前原昭二って人も放大で教えてたよ
記号論理入門の本は今でも定番　入門書だけど自然演繹を学ぶには便利
数学基礎論ってのもちくまから出た　（集合論などが専門の竹内って人と共著だけど）