You need to sign in or sign up before continuing.

Logic for Applications by Richard A. Shore, Anil Nerode

456 pages missing pub info (view editions)

nonfiction computer science design informative medium-paced
Powered by AI (Beta)
Loading...

Description

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 of...

Read more

Community Reviews

Loading...

Content Warnings

Loading...