Proofs and Algorithms

by Gilles Dowek

2020-06-14 14:35:06

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 Computabili
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 Computabili Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages156
PublisherSpringer-Verlag/Sci-Tech/Trade
Publication date January 16, 2016
LanguageEnglish
ISBN2453eec8-aa1c-415d-b119-f7432fc49a42

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Paperback Paperback Buy CAD 53.66
Walmart eBooks by Rakuten Kobo In Stock Buy USD 31.49
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 53.66
Walmart eBooks by Rakuten KoboIn Stock
Format
Condition
Buy USD 31.49
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free