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.
Kategorien:
Jahr:
1994
Auflage:
First Edition
Verlag:
Jones and Bartlett
Sprache:
english
Seiten:
440
ISBN 10:
086720463X
ISBN 13:
9780867204636
Serien:
The Jones and Bartlett series in computer science
Datei:
DJVU, 2.59 MB
IPFS:
,
english, 1994