Rex Page

• Discrete mathematics using a computer
• Essential Logic for Computer Science
• Trends in Functional Programming