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 oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results...

• 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"