Elements of scientific computing

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Elements of computation theory by Singh, Arindama

Lambda calculi a guide for computer scientists by Hankin, Chris

Algorithmic learning by Hutchinson, Alan