俺は林晋もみかけたことがある
ブルーバックスの不完全性定理の本だったと思う