紹介ありがとうございます。
まずは「数学の基礎」あたりを探してきます。
「数学基礎論」はなぜか手許にあるので、そのあとにでも読んでみます。

「論理と計算のしくみ」も一階述語論理とλ計算のところを摘み読みしただけなので、
ヒマを見て通しで読んでみることにします。

本棚を見ると論理系の本がかなり積んであります……一度整理しようかな