Proofs and algorithms an introduction to logic and computability

Proofs and Algorithms: An Introduction to Logic and Computability 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: An Introduction to Logic and Comput...

Full description

Bibliographic Details

Main Author:	Dowek, Gilles
Corporate Author:	pringerLink (Online service)
Format:	Electronic Resource
Language:	English
Published:	London Springer London 2011.
Subjects:	Logic, Symbolic and mathematical. Algorithms. Electronic books.
Online Access:	Available for University of the Philippines Diliman via SpringerLink. Click here to access