ISBN 9781402003684,Proof Theory and Automated Deduction

Proof Theory and Automated Deduction

Rs7749

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9781402003684
Check delivery information
 
ISBN 9781402003684
Publisher

Ingram Publisher Services

Publication Year 2001
ISBN-13

ISBN 9781402003684

ISBN-10 1402003684
Binding

Paperback

Edition Softcover reprint of the origi
Number of Pages 444 Pages
Subject

Mathematical logic

Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in computer science, and especially the particular field of automated deduction, ie the automated search for proofs of mathematical propositions.
Scroll