2005-01-31 Gödel本 研究 P.Smith, An Introduction to Gödel's Theorems. P.Smithが不完全性定理の入門書として書いている途中のものをweb公開していて、話題になっているとか。よく書けているのかな?基本的な事項をきちんと押さえた解説に徹しているようですが。