Handbook of Philosophical Logic: Volume 3 / Edition 2 by Dov M. Gabbay, Franz Guenthner, Jonathan F. Bard | | 9780792371601 | Hardcover | Barnes & Noble
Handbook of Philosophical Logic: Volume 3 / Edition 2

Handbook of Philosophical Logic: Volume 3 / Edition 2

by Dov M. Gabbay, Franz Guenthner, Jonathan F. Bard
     
 

ISBN-10: 0792371607

ISBN-13: 9780792371601

Pub. Date: 08/31/2001

Publisher: Springer Netherlands

First published over 15 years ago, the reference serves students and researchers in formal philosophy and language, and consumers of logic in many applied areas such as computer science and artificial intelligence. New chapters are included on non-monotonic logic, and combinatory logic and lambda-calculus. The discussions have been informed by recent research

Overview

First published over 15 years ago, the reference serves students and researchers in formal philosophy and language, and consumers of logic in many applied areas such as computer science and artificial intelligence. New chapters are included on non-monotonic logic, and combinatory logic and lambda-calculus. The discussions have been informed by recent research partnerships with fallacy theory, informal logic, and argumentation theory. The topics of the first volume are elementary predicate logic, systems between first-order and second- order logic, higher-order logic, algorithms and decision problems: recursive theory, and the mathematics of logic programming. The series is projected to fill 18 volumes.

Annotation © Book News, Inc., Portland, OR

Product Details

ISBN-13:
9780792371601
Publisher:
Springer Netherlands
Publication date:
08/31/2001
Series:
Handbook of Philosophical Logic Series, #3
Edition description:
2nd ed. 2001
Pages:
412
Product dimensions:
6.10(w) x 9.25(h) x 0.04(d)

Table of Contents

Editorial Prefacevii
Elementary Predicate Logic1
Systems Between First-order and Second-order Logic131
Higher-Order Logic189
Algorithms and Decision Problems: A Crash Course in Recursion Theory245
Mathematics of Logic Programming313
Index371

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >