新しい論理序説 (すうがくぶっくす) 現在２００６年３月８日０時２３分です。昨晩は、早く布団に入ったのだが、なかなか眠れず、仕方なく起き出して本を読むことにした。 だが、解析入門Ⅰを読めるほど頭がはっきりしていなかったので、述語論理を勉強した成…