>>8
同感。
ここ最近の面白い数理論理学の研究は
全部計算機科学からきてる。
和書で高階述語論理や計算量複雑性やら階層定理を知りたければ
CSの本を読まざるを得ない。
アメリカでもそんな感じ。