論理学ちゃんと勉強
とりあえず、論理学の勉強として
あたりをやって、入門はできたと思う。一方、勘違いも多そうだし、あやふやなまま理解があるであろうことは考えられるので、ここで一つきちんとした教科書で勉強したいものだと思う。そこで、以下を今月の間に読もうと思う。
- 戸次 数理論理学 (https://www.amazon.co.jp/dp/4130629158)
- Rautenberg A Concise Introduction to Mathematical Logic (
戸次は所有しているが、Rautenbergは高いので買っていない。1,2章は教授のページからダウンロードできるのでそれを利用しようと思う。