₹7703
₹9960
(23% Off)
Inclusive of all taxes
Qty
Buying in bulk?
In Stock
Guaranteed Service
Free Home Delivery
above ₹199
Check Delivery
Enter pincode for exact delivery dates / charges and to know if express delivery is available
Handbook Of Logic And Proof Techniques For Computer Science
by S. G. Krantz, Steven G. Krantz (Author),
Birkhäuser Boston (Publisher)
Product Specifications
Book Description
Logic plays a central conceptual role in modern mathematics. However,
mathematical logic has grown into one of the most recondite areas of
mathematics. As a result, most of modern logic is inaccessible to all but the
specialist. This new book is a resource that provides a quick introduction and
review of the key topics in logic for the computer scientist, engineer, or
mathematician.
Handbook of Logic and Proof Techniques for Computer Science presents the
elements of modern logic, including many current topics, to the reader having
only basic mathematical literacy. Computer scientists will find specific
examples and important ideas such as axiomatics, recursion theory, decidability,
independence, completeness, consistency,
Book Specifications
ISBN-13 9780817642204
Language English
Binding Paper Back
Publisher Birkhäuser Boston
Publishing Date 2002-01-17
Product Edition illustrated edition
Total Pages 264