Book
Logic for applicationsAnil Nerode

Logic for applications

Anil Nerode
1993410 pages
Be the first to rate
2 editions
Nonfiction

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign up to track
Add to list

About

Logic for Applications presents a rigorous introduction to classical, intuitionistic, and modal logic. The book emphasizes deduction as a form of computation by examining the logical and mathematical foundations of resolution theorem proving and logic programming. These subjects are important for many areas of applications in computer science and artificial intelligence. Topics covered include soundness, completeness, and undecidability for classical, nonclassical, and computation-based logical systems as well as compactness and the theorems of Herbrand and Skolem-Lowenheim. In context of…

More like this

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

2 editions
  • Other · English · 1997
    Springer · 456 pages · 9780387948935
  • Other · English · 1993
    Springer-Verlag · 365 pages · 9780387941295
Computer scienceLogic programmingLogic, Symbolic and mathematicalMathematicsSymbolic and mathematical LogicComputer science, mathematics