A Logical Approach to Discrete Math (Texts & Monographs in Computer Science)この本で使われてる等式論理の記述スタイルは以降に挙げるプログラミング本の多くのものに近い。内容的にも最高の離散数学入門書だと思う。Category Theory (Oxford Logic Guides)(実は初版の方しか読んでないんだけど)それほど難しくなくてプログラミングに応用するには最低限これくらい知ってるべきだろうという内容もだいたい網羅してるし圏論の入門書では一番気に入ってる。Programming in Haskell肩ならし。Introduction Functional Programming (2nd Edition) (Prentice Hall Series in Computer Science)これで本格的に関数プ