Handbook of Logic and Proof Techniques for Computer Science

by Steven G. Krantz

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...

• Format: Hardcover
• Language: English
• ISBN: 081764220X
• ISBN13: 9780817642204
• Release Date: January 2002
• Publisher: Birkhauser
• Length: 245 Pages
• Weight: 1.19 lbs.
• Dimensions: 0.7" x 6.3" x 9.5"