Logic for Applications

by Anil Nerode and Richard A. Shore

Book Overview

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387948937
• ISBN13: 9780387948935
• Release Date: January 1997
• Publisher: Springer
• Length: 456 Pages
• Weight: 2.15 lbs.
• Dimensions: 1.3" x 6.6" x 9.4"