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 recent dramatic growth in the applications of logic to computer science. Thus our choice of topics has been heavily influenced by such application...
Full description
Saved in: