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...

Celý popis

Podrobná bibliografie

Hlavní autor:	Dowek, Gilles
Korporativní autor:	pringerLink (Online service)
Médium:	Electronic Resource
Jazyk:	English
Vydáno:	London Springer London 2011.
Témata:	Logic, Symbolic and mathematical. Algorithms. Electronic books.
On-line přístup:	Available for University of the Philippines Diliman via SpringerLink. Click here to access