Essential Logic for Computer Science Essential Logic for Computer Science
2019년
Discrete Mathematics Using a Computer Discrete Mathematics Using a Computer
2007년
Trends in Functional Programming Trends in Functional Programming
2011년