×


 x 

Shopping cart
Goubault-Larrecq, Jean; Mackie, Ian - Proof Theory and Automated Deduction - 9781402003684 - V9781402003684
Stock image for illustration purposes only - book cover, edition or condition may vary.

Proof Theory and Automated Deduction

€ 73.04
FREE Delivery in Ireland
Description for Proof Theory and Automated Deduction Paperback. 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. Series: Applied Logic Series. Num Pages: 444 pages, biography. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 1370.
The last twenty years have witnessed an accelerated development of pure and ap­ plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from the computer science community. A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto­ mated deduction for the logic and its fragments is as important as the logic itself. In such a climate there is ... Read more

Product Details

Format
Paperback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
444
Condition
New
Series
Applied Logic Series
Number of Pages
444
Place of Publication
New York, NY, United States
ISBN
9781402003684
SKU
V9781402003684
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Proof Theory and Automated Deduction

Goodreads reviews for Proof Theory and Automated Deduction


Subscribe to our newsletter

News on special offers, signed editions & more!