Logic, sets, and recursion
"Logic, set theory, and mathematical induction play essential roles in modern mathematics and computer science. Logic, Sets, and Recursion, Second Edition provides students with the tools needed to master these important concepts. This text paves the way for students preparing to enter more advanced math, computer science, and logic courses, furnishing them with the experienced necessary to construct rigorous proofs with ease. It is intended to fill the gap between advanced mathematical logic texts and Discrete Mathematics texts that do not treat logic with the depth required in modern computer science
Print Book, English, ©2006
Jones and Bartlett Publishers, Sudbury, Mass., ©2006