توضیحات
Here, the authors strive to change the way logic and discrete math are taught in computer science and while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.
جزئیات کتاب
فرمت
جلد سخت
صفحات
497 صفحه
زبان
انگلیسی
منتشر شده
ژانویه 1, 1995
ناشر
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-10
3540941150
ISBN-13
9783540941156