コンピュテーション入門（テキスト）
Introduction to Computation
Haskell, Logic and Automata
Sannella, Donald
Fourman, Michael
Peng, Haoran
- 内容紹介：
-
This accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner.