BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic, Proof and Computation

Logic, Proof and Computation

Logic, Proof and Computation Paperback / softback - 2014

by Mark Tarver

Add to wish list
  • New
  • Paperback
New

Description

Paperback / softback. New. 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.
Ask the seller a question Add to wish list
NZ$53.54
NZ$23.50 Delivery to USA
Standard delivery: 14 to 21 days
More delivery options
Ships from The Saint Bookstore (Merseyside, United Kingdom)

Details

  • Title Logic, Proof and Computation
  • Author Mark Tarver
  • Binding Paperback
  • Condition New
  • Publisher Upfront Publishing
  • Publication date 2014-02
  • Bookseller's Inventory # B9781784561277
  • ISBN 9781784561277
  • Quantity available 10

About The Saint Bookstore Merseyside, United Kingdom

Biblio member since 2018

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

Reader reviews for Logic, Proof and Computation

tracking-