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

Skip to content

No image available
No image available

Logic, Proof and Computation 2014

by Tarver, Mark

Add to wish list

Reader reviews for

Details

  • Title Logic, Proof and Computation
  • Author Tarver, Mark
  • Binding unknown
  • Publisher Upfront Publishing
  • Publication date 2014-02
  • ISBN 9781784561277

More Copies for Sale

Logic, Proof and Computation

Logic, Proof and Computation

by Mark Tarver

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781784561277 / 1784561274
Quantity available
10
Seller
Item price
NZ$53.54
NZ$23.50 Delivery to USA

Show details

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.
Add to wish list
Item price
NZ$53.54
NZ$23.50 Delivery to USA