■

 というわけで、👇届きました。

逆数学と2階算術 (数学基礎論シリーズ)

 結構な名著ですな。
このシリーズ（『数学基礎論シリーズ』）揃えてよいかもしれない。