MRP: ₹9835
₹7610
₹ 2225 Off
(Incl. of all taxes)
Qty
Buying in bulk?
In stock
Deliver to
- 7-day returns
- Secure payment
- International shipping
- Carefully packed
Get this at ₹ 7230Extra 5% OffAdd items worth ₹999 to the cart & get extra 5% off
Get this at ₹ 6849Extra 10% OffAdd items worth ₹1499 to the cart & get extra 10% off
Book Summary
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,
- ISBN-13
- 9780817642204
- Language
- English
- Binding
- Paper Back
- Publisher
- Birkhäuser Boston
- Publishing Date
- 2002-01-17
- Product Edition
- illustrated edition
- Total Pages
- 264
Handbook Of Logic And Proof Techniques For Computer Science
by S. G. Krantz, Steven G. Krantz (Author),
Birkhäuser Boston (Publisher)
fictionfantasyyoung adultaward winning
Frequently bought together
Handbook Of Logic And Proof Techniques For Computer Science₹7610This item
Maarikaadu₹63
Natyamayuri₹63Total for 3 items₹7736₹9975You save ₹2239
Product Specifications
Book Summary
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