Computability: Computable Functions Logic and the Foundations of Math by Richard .L. Epstein (University of Campinas, Berkeley, CA, USA)
This book should be of interest to intermediate mathematics undergraduates; postgraduates in theoretical computer science/philosophy of mathematics.