Proofs and Algorithms: An Introduction to Logic and Computability

by Gilles Dowek

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 logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's...

• Format: Paperback
• Language: English
• ISBN: 0857291203
• ISBN13: 9780857291202
• Release Date: January 2011
• Publisher: Springer
• Length: 156 Pages
• Weight: 0.54 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"