• Harold W. Noonan  Frege : A Critical Introduction, Polity Press, Key Contemporary Thinkers Series, 2001
  • J. Roger Hindley and Jonathan P. Seldin  Lambda-Calculus and Combinators: An Introduction, 2nd Edition, Cambridge University Press, Estimated Publication Date: July 2008

前者は以前に一部読んだことがある。Grundlagenの解説が大変参考になった。まだ入手していなかったので今回注文しておく。
後者は2nd ed.である。勉強する必要があるので注文しておく。


しかしそれにしても最近まったくlogicを勉強していない。
そのうちまた初めからやり直さなければならないことになるだろう。
実に困ったことだと思う。


おやすみなさい。