4 books • 3 series
Essential Logic for Computer Science (The MIT Press)
Trends in Functional Programming (Lecture Notes in Computer Science, #7193) (Theoretical Computer Science and General Issues, #6546)
Burton Albion
Discrete Mathematics Using a Computer