156 pages • missing pub info (editions)
ISBN/UID: 9780857291202
Format: Paperback
Language: English
Publisher: Springer
Publication 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
This book doesn't have any reviews or ratings yet!
If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
156 pages • missing pub info (editions)
ISBN/UID: 9780857291202
Format: Paperback
Language: English
Publisher: Springer
Publication 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
This book doesn't have any reviews or ratings yet!
If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.