Skip to content
Paperback Handbook of Logic and Proof Techniques for Computer Science Book

ISBN: 146126619X

ISBN13: 9781461266198

Handbook of Logic and Proof Techniques for Computer Science

Select Format

Select Condition ThriftBooks Help Icon

Selected

Format: Paperback

Condition: New

$74.43
Save $0.56!
List Price $74.99

50 Available

Book Overview

Logic is, and should be, the core subject area of modern mathemat- ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special- ist. Yet there is a need for many...

Customer Reviews

0 rating
Copyright © 2020 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell My Personal Information | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured