>>168
ありがとうございます。覗いてみます。

>>169
そうなんですか？
集合論とか論理学から、計算機科学方面へ進めていきたいと思っていたのですが。
私の「基礎論」という言葉の使い方がおかしいのでしょうか？
集合論や論理学そのものを学んだほうが良いということでしょうか？