|
Texas Tech University - SPRING (JAN-MAY) | ||
Section 001 | ||
Logic for Applications (Texts in Computer Science) (2nd Edition) by Anil Nerode, Richard A. Shore Hardcover, 456 Pages, Published 1997 ISBN-10: 0-387-94893-7 / 0387948937 ISBN-13: 978-0-387-94893-5 / 9780387948935 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 i |