4 works on record
Logic for Applications
Logical foundations of computer science
Recursion theory
Algebraic Curves and Riemann Surfaces for Undergraduates
