Prism Lens - Shop now
$23.99
$6.90 delivery December 30 - January 15. Details
Arrives after Christmas. Need a gift sooner? Send an Amazon Gift Card instantly by email or text message.
In Stock
$$23.99 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$23.99
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Ships from
The Great British Bookshop (USA)
Ships from
The Great British Bookshop (USA)
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.
Read full return policy
Returns
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.
Read full return policy
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
Payment
Secure transaction
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
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

Mark Tarver
Follow
Something went wrong. Please try your request again later.

Logic, Proof and Computation Paperback – January 1, 2014

by Mark Tarver (Author)
5.0 5.0 out of 5 stars 1 rating
See all formats and editions
{"desktop_buybox_group_1":[{"displayPrice":"$23.99","priceAmount":23.99,"currencySymbol":"$","integerValue":"23","decimalSeparator":".","fractionalValue":"99","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"BRlhS2yyiRlMGOhxW5iOcEa3v2xE7LD8qK1tCZJcdpLEf2Bpe3GwvOpWthMtoaRvHCPcwnhsyUJwQWVAITMbR6j5PPVegkD7oU7IuZ5zCYTjKqxUffXFVNXJaiCCgIryETreF1yTOVnkWPNtNhob3q6wZsuE1G4v4KIhYpQbe7DbSxuHo7be0A%3D%3D","locale":"en-US","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

Purchase options and add-ons

Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy. Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning Gödel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.
Previous slide of product details
  1. Print length
    236 pages
  2. Language
    English
  3. Publisher
    Upfront Publishing
  4. Publication date
    January 1, 2014
  5. Dimensions
    5.98 x 0.51 x 9.02 inches
  6. ISBN-10
    1784561274
  7. ISBN-13
    978-1784561277
  8. See all details
Next slide of product details
The%20Amazon%20Book%20Review
The Amazon Book Review
Book recommendations, author interviews, editors' picks, and more. Read it now.

Frequently bought together

Logic, Proof and Computation
This item: Logic, Proof and Computation
$23.99
Get it Dec 30 - Jan 15
In Stock
Ships from and sold by The Great British Bookshop (USA).
+
The book of Shen - Fourt edition
$43.45
Get it Dec 30 - Jan 15
In Stock
Ships from and sold by The Great British Bookshop (USA).
Total price: $00
To see our price, add these items to your cart.
Details
Added to Cart
spCSRF_Treatment
Choose items to buy together.

Product details

  • Publisher ‏ : ‎ Upfront Publishing; 2nd Revised edition (January 1, 2014)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 236 pages
  • ISBN-10 ‏ : ‎ 1784561274
  • ISBN-13 ‏ : ‎ 978-1784561277
  • Item Weight ‏ : ‎ 12.6 ounces
  • Dimensions ‏ : ‎ 5.98 x 0.51 x 9.02 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.
Mark Tarver

Mark Tarver

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

Top reviews from the United States

There are 0 reviews and 0 ratings from the United States

Top reviews from other countries

Antti Juhani Ylikoski
5.0 out of 5 stars Computer Science Theory textbook
Reviewed in the United Kingdom on August 21, 2015
Verified Purchase
Excellent comp sci theory textbook.
Report