Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
2 new from £104.80
Have one to sell? Sell yours here
 
   
Proof Theory and Automated Deduction (Applied Logic Series)
 
See larger image 
Share your own customer images
Publisher: learn how customers can search inside this book.

Proof Theory and Automated Deduction (Applied Logic Series) (Hardcover)

by Jean Goubault-Larrecq (Author), Ian Mackie (Author)
No customer reviews yet. Be the first.
Price: £131.00 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Temporarily out of stock.
Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your account will only be charged when we ship the item.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

2 new from £104.80
Other Editions: RRP: Our Price: Other Offers:
Paperback £52.99 £50.34 19 used & new from £50.34

Product details

Customers Viewing This Page May Be Interested in These Sponsored Links

  (What is this?)
JSK Ultrasonics Ltd
   www.jskultrasonics.co.uk    Plastic welding solutions Automation / Assembly machines 
Peerless Systems Ltd
   www.peerless-systems.co.uk    Bespoke Laboratory Automation. Sampling, testing and handling. 
Gate Automation - £189.99
   www.Gatemotors.co.uk    Buy Online, 3 Year Warranty, DIY Easy To Fit, Free Del, UK Importer 
  
 

Product Description

Product Description
This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory. It shows how they are applied in computer science, and especially the particular field of automated deduction. That is to say, the automated search for proofs of mathematical propositions. An in-depth analysis of the basic notions is included. The author often derives the same theorem by different methods, showing how different mathematical tools can be used to get at the very nature of the objects at hand, and how these tools relate to each other. This is in an attempt to present a linear collection of results, and to show that all results and methods are tightly interwoven.

Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 
See most popular tags

Customer Reviews


There are no customer reviews yet.   Create your own review
Video reviews
Video reviews
New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.


Customer Discussions

 Beta (What's this?)
This product's forum (0 discussions)
  Discussion Replies Latest Post
  No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
  [Cancel]


Active discussions in related forums
   
Related forums

Look for similar items by category

Feedback

The Body Shop

The Body Shop - Vitamin C Skin Boost
Protect and boost your glow with The Body Shop Vitamin C Skin Boost.

›Shop The Body Shop

  

Up to 75% off Shoes

Shoe Clearance - 75% off Shoes
Save up to 75% on shoes for the whole family.

›Shop clearance shoes

  

Up to 50% off Dental Care

Braun Oral-B Professional Care 6000 Rechargeable Toothbrush - Pack of 2
Put a sparkle in your smile with up to 50% off selected Oral-B and Philips rechargeable toothbrushes.

›Up to 50% off power toothbrushes

  

Treat Someone

Amazon.co.uk Gift Certificates--available in any amount from £5 to £500 With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

  
Ad

Where's My Stuff?

Delivery and Returns

Need Help?

Your Recent History

  (What's this?)
You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.
Continue Shopping: Top Sellers

amazon.co.uk Amazon Home
International Sites:  United States  |  Germany  |  France  |  Japan  |  Canada  |  China
Business Programs: Sell on Amazon  |  Fulfilment by Amazon  |  Join Associates  |  Join Advantage
Customer Service  |  Help  |  View Basket  |  Your Account
About Amazon.co.uk  |  Careers at Amazon
Conditions of Use & Sale |  Privacy Notice  © 1996-2009, Amazon.com, Inc. and its affiliates