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

Handbook of Logic and Proof Techniques for Computer Science

Rs6695

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