ENGLISH

Logic, sets, and recursion

By Robert L. Causey

Book information

Publisher
Jones and Bartlett
Year
1994
ISBN
086720463X, 9780867204636, 9780585288192
LCC
QA9 .C347 1994
Open Library ID
OL1398754M
Language
english
Format
DJVU
Filesize
3 MB (2718855 bytes)
Series
The Jones and Bartlett series in computer science
Edition
First Edition
Pages
440\440
Topic
Mathematics Logic
Library
Kolxo3
DPI
400
Time added
2009-07-20 03:45:11

Description

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.

Similar books