Book: Logic for Mathematics and Computer Science

http://www.pearsonhighered.com/educator/product/Logic-for-Mathematics-and-Computer-Science/9780132859745.page