Logic, sets, and recursion
Robert L. Causey
Jones and Bartlett
Logic, set theory, and mathematical induction play essential roles  in modern mathematics and computer science. This book is intended to fill the  gap between rigorous, advanced mathematical logic texts and "discrete  mathematics" texts that do not treat logic with the depth and rigor required in  modern computer science. It will prepare students for advanced courses in  mathematics, computer science, logic and its applications.