岩波書店　『数学基礎論』新井敏康　著
立ち読みしてたら、文献のところに
HinmanのFundamentals of Mathematical Logicは大著だから
本書よりも記述が丁寧とか書いてあって焦った
いやいやいや