論理学：野矢茂樹著（東京大学出版会）

わかりやすいという評があったので読みました。
たしかに他よりは読みやすかった、でしょうか。
結局、
論理学の内容自体、自分にはむずかしいようですｗ

ゲーデル数化の説明と例はわかりやすかった。
なんかちゃんと理解できたような気になりました。
そして、
ゲーデルは、やっぱりすごい。