You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
156 pages • missing pub info (view editions)
ISBN/UID: 9780857291202
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 14 January 2011
Description
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 in...
Community Reviews
Content Warnings
156 pages • missing pub info (view editions)
ISBN/UID: 9780857291202
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 14 January 2011
Description
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 in...
Community Reviews
Content Warnings