Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (7 chapters)
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