Causey R. Logic, Sets, and Recursion 1994 torrent

Textbook in PDF format

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