Explore the latest books of this year!
Bookbot

Proofs and Algorithms

An Introduction to Logic and Computability

Book rating

2.5(4)Add rating

Parameters

  • 156 pages
  • 6 hours of reading

More about the book

Exploring the intersection of philosophy, mathematics, and computer science, this book delves into the principles of logic. It focuses on the techniques necessary to evaluate the truth of statements, emphasizing reasoning and computation as fundamental methods. Through its comprehensive approach, it aims to enhance understanding of logical processes and their applications across various disciplines.

Book purchase

Proofs and Algorithms, Gilles Dowek

Language
Released
2011
product-detail.submit-box.info.binding
(Paperback)
We’ll email you as soon as we track it down.

Payment methods

2.5
Mixed feelings
4 Ratings

We’re missing your review here.