Logic, sets, and recursion
Robert L. Causey
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.
หมวดหมู่:
ปี:
1994
ฉบับพิมพ์ครั้งที่:
First Edition
สำนักพิมพ์:
Jones and Bartlett
ภาษา:
english
จำนวนหน้า:
440
ISBN 10:
086720463X
ISBN 13:
9780867204636
ซีรีส์:
The Jones and Bartlett series in computer science
ไฟล์:
DJVU, 2.59 MB
IPFS:
,
english, 1994