Can I read Logic for Applications (Texts in Computer Science) on EtoBox?

Logic for Applications (Texts in Computer Science) by Anil Nerode, Richard A. Shore (auth.) is a computer science book available to read on EtoBox.

What is Logic for Applications (Texts in Computer Science) about?

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 such as the theorems of Skolem-Lowenheim and Herb

Who reads Logic for Applications (Texts in Computer Science)?

Author

Anil Nerode, Richard A. Shore (auth.)

Publisher

Springer New York

Published

1997

Language

EN

ISBN

9781461206491

Category

computer science

Subjects

Mathematics, Language Learning, Computers

Updated

2026-03-25