Undergraduate Texts in Mathematics: Introduction to Mathematical Structures and ProofsLarry J. GersteinSold outTrack
Cambridge Tracts in Theoretical Computer Science 4. Lambda-Calculus, Combinators and Functional ProgrammingGyörgy E. RévészSold outTrack