逆数学と2階算術 数学基礎論シリーズ
田中 一之 (著), 倉田 令二朗
http://www.amazon.co.jp/exec/obidos/ASIN/4879999709/

これ面白いですか？っていうかreverse mathematicsの良い本は
他にありますか？