オンラインで入手できる数理論理学・数学基礎論のテキスト

http://klapaucius.web.fc2.com/logic/online-textbooks.html

いっぱいあるねぇ。ゆっくり読んでみたいねぇ。