Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
Reviews
From reviews of the first edition: "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." SIGACT News
From the reviews of the second edition:
"…the book achieves its goal of being a unified introduction into classical logic, logic programming and certain non-classical logics. …the book succeeded in presenting a uniform framework for describing different logics. The author’s thorough approach to describing logic programming, via introduction of resolution-based refutations and subsequent study of different kinds of resolutions allows the reader to gradually switch from the study of logic to the study of logical programming paradigm and provides a lot of intuition about the behavior of logic programs.
As such the book can be recommended both as a textbook for senior/graduate course in logic/logic programming, and as a reading or reference for graduate students in the areas related to discrete mathematics."
(Alexander Dekhtyar, William Gasarch’s Book Review Column, SIGACT News)
Authors and Affiliations
Bibliographic Information
Book Title: Logic for Applications
Authors: Anil Nerode, Richard A. Shore
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-1-4612-0649-1
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1997
Hardcover ISBN: 978-0-387-94893-5Published: 17 January 1997
Softcover ISBN: 978-1-4612-6855-0Published: 28 September 2012
eBook ISBN: 978-1-4612-0649-1Published: 06 December 2012
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 2
Number of Pages: XIII, 456
Additional Information: Originally published in the series: Texts, Monographs Computer Science
Topics: Computer System Implementation, Mathematical Logic and Foundations, Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence