Logic for applications
Anil Nerode
Reading Time
at 250 WPM6h 5m
The average reader, reading at a speed of 250 WPM, would take 6h 5m to read Logic for applications.
Personalise your estimate by entering your reading speed below
Test my reading speedEnter speed in words per minute
13
days at 30 min/day
365
total minutes
Logic for applications
by Anil Nerode
Published
1993
Publisher
Springer-Verlag
Pages
365
ISBN-10
0387941290
Description
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 PROLOG, termination conditions, negation as failure, and the relations to nonmonotonic logic are all discussed . This book is an ideal textbook for presenting classical and non-classical logic as well as logic programming to advanced undergraduate or beginning graduate students in computer science or mathematics. It contains a historical appendix and an extensive list of references for further studies in the field. No advanced mathematical background is required.
Subjects
Frequently Asked Questions
How many pages are in Logic for applications?
This edition of Logic for applications has approximately 365 pages. Please note, this is an estimate and the exact page count can vary between hardcover, paperback, and e-book versions.
How long does it take to read Logic for applications?
For most readers, Logic for applications typically takes between 7h 36m and 5h 4m to complete. This is based on the book's length of approximately 91,250 words and common reading speeds.
Here's a detailed breakdown: • Continuous reading at 250 WPM: approximately 6h 5m of focused reading • Casual reading (30 minutes/day): you could finish in roughly 13 days • Estimated word count: 91,250 words
Your individual reading time will vary based on your personal reading pace, the amount of daily reading time, and your familiarity with the subject matter.
What is the word count of Logic for applications?
The estimated word count for Logic for applications is approximately 91,250 words. This figure is calculated using industry-standard methods that consider genre-specific word density patterns, typical formatting and layout characteristics, and standard words-per-page ratios for published books.
This is an approximation — actual word count may vary based on font size, formatting, edition, and the presence of illustrations or charts.
Who is the author of Logic for applications?
Logic for applications was written by Anil Nerode.
When was Logic for applications published?
The publication date for this specific edition is 1993. The original work may have been published on a different date.