The book is currently out of stock
Proofs and Algorithms
An Introduction to Logic and Computability
Authors
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
We’ll notify you via email once we track it down.
Payment methods
- Title
- Proofs and Algorithms
- Subtitle
- An Introduction to Logic and Computability
- Language
- English
- Authors
- Gilles Dowek
- Publisher
- Springer Nature Singapore
- Released
- 2011
- Format
- Paperback
- Pages
- 156
- ISBN13
- 9780857291202
- Category
- Computers, IT, Programming
- Description
- 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.