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

Fuld beskrivelse

Bibliografiske detaljer

Hovedforfatter:	Dowek, Gilles
Institution som forfatter:	pringerLink (Online service)
Format:	Electronic Resource
Sprog:	English
Udgivet:	London Springer London 2011.
Fag:	Logic, Symbolic and mathematical. Algorithms. Electronic books.
Online adgang:	Available for University of the Philippines Diliman via SpringerLink. Click here to access