史的事項が載っている数理論理学の本もあるよ。
http://www.amazon.co.jp/dp/B000JAQISY
というよりもこの本が発端だ。
なぜ誰にも読めないと言われたPMの型理論が知られているかというとこの本が解説したからだ。