Essential Logic for Computer Science More Books by Rex Page & Ruben Gamboa

Discrete Mathematics Using a Computer Discrete Mathematics Using a Computer
2007
Trends in Functional Programming Trends in Functional Programming
2011