Proofs and Algorithms: An Introduction to Logic and Computability by Gilles DowekEnglish | PDF(Repost),EPUB | 161 Pages | 2011 | ISBN : 0857291203 | 3.06 MB
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.