ISBN 9780817642204,Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

Rs5734 Rs6974 18% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9780817642204
Check delivery information
 
ISBN 9780817642204
Publisher

Ingram Publisher Services

Publication Year 2002
ISBN-13

ISBN 9780817642204

ISBN-10 081764220X
Binding

Hardback

Number of Pages 268 Pages
Subject

Maths for computer scientists

This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and model theory.
Scroll