述語論理に対する理解を深めました

　現在２００６年２月１７日１２時５７分です。

　昨晩は、「数学基礎概説」と「現代論理学」で、述語論理の理解を更に劇的に進めました。今まで、「現代論理学」で、わずかなギャップだと思っていた部分を克服しました。この本も私の愛読書と言えそうです。

　今日はここまで。

　現在２００６年２月１７日１３時００分です。おしまい。