An Introduction to Logic and Computability
by
Gilles Dowek
Language: English
Release Date: January 11, 2011
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.
Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary...