Logic for Applications by Anil Nerode, Richard A. Shore.
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 applicatio...
Full description
Saved in: