Watch the Amazon Original series Cross now on Prime Video. Yours with Prime.
Add Prime to get Fast, Free delivery
Amazon prime logo
Buy new:
$27.00
FREE delivery on orders over $35 shipped by Amazon.
Ships from: Amazon.com
Sold by: Amazon.com
$27.00
Get Fast, Free Shipping with Amazon Prime FREE Returns
FREE delivery on orders over $35 shipped by Amazon.
Temporarily out of stock.
Order now and we'll deliver when available.
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.
Details
Want it faster? The Kindle eBook is available now and can be read on any device with the free Kindle app.
$$27.00 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$27.00
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Ships from
Amazon.com
Amazon.com
Ships from
Amazon.com
Sold by
Amazon.com
Amazon.com
Sold by
Amazon.com
Returns
Returnable until Jan 31, 2025
Returnable until Jan 31, 2025
For the 2024 holiday season, eligible items purchased between November 1 and December 31, 2024 can be returned until January 31, 2025.
Payment
Secure transaction
Your transaction is secure
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
$16.99
Ex library copy. Shipping fast. Ex library copy. Shipping fast. See less
$5.16 delivery December 30 - January 3. Details
Or fastest delivery December 27 - 31. Details
Only 1 left in stock - order soon.
$$27.00 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$27.00
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Access codes and supplements are not guaranteed with used items.
Ships from and sold by holiday688books.
Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

Follow the author

Something went wrong. Please try your request again later.

Mathematical Reasoning with Diagrams (Volume 127) (Lecture Notes)

5.0 5.0 out of 5 stars 1 rating

{"desktop_buybox_group_1":[{"displayPrice":"$27.00","priceAmount":27.00,"currencySymbol":"$","integerValue":"27","decimalSeparator":".","fractionalValue":"00","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"Cdln%2F9oAAcFaBrAqB1unAix5ACvy2QLGsrXeyB6A49hAW3cAn3wpwHd6tH6T7Zl2N0mjctCaAViFqdaf5FmsSAQBB69QuMdhfVnO2kVdMao7eRVXGWOtF5nVjqYg%2B7G9Xmn9kL4Px5I%3D","locale":"en-US","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"$16.99","priceAmount":16.99,"currencySymbol":"$","integerValue":"16","decimalSeparator":".","fractionalValue":"99","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"Cdln%2F9oAAcFaBrAqB1unAix5ACvy2QLGwNsw0PJi2z7eemC%2FjVaZZ4tLCFVHRlPq%2F7c1CkvpQeVYOm44S0pT3A034ZXjkt6U9rqgn3Mn3aMjxwBQqgmEx%2Bg6HJ7aVJGmqQBFTQhxCx1mw7VftCZshk46SB02uVdytGszb1ET02a4No5E34ht%2Bdk%2B5WUpSDVd","locale":"en-US","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}

Purchase options and add-ons

Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams.

Editorial Reviews

About the Author

Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.

Product details

  • Publisher ‏ : ‎ Center for the Study of Language and Inf (November 1, 2001)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 200 pages
  • ISBN-10 ‏ : ‎ 1575863243
  • ISBN-13 ‏ : ‎ 978-1575863245
  • Item Weight ‏ : ‎ 11 ounces
  • Dimensions ‏ : ‎ 6 x 0.5 x 9 inches
  • Customer Reviews:
    5.0 5.0 out of 5 stars 1 rating

About the author

Follow authors to get new release updates, plus improved recommendations.
Mateja Jamnik
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Discover more of the author’s books, see similar authors, read book recommendations and more.

Customer reviews

5 out of 5 stars
1 global rating

Review this product

Share your thoughts with other customers

Top reviews from the United States

There are 0 reviews and 0 ratings from the United States

Top reviews from other countries

  • Amazon Customer
    5.0 out of 5 stars Everything was fine, thank you!
    Reviewed in the United Kingdom on April 12, 2019
    Everything was fine, thank you!