Handbook of Philosophical Logic
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.
1121300136
Annotation © Book News, Inc., Portland, OR
Handbook of Philosophical Logic
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
169.99
In Stock
5
1
Handbook of Philosophical Logic
360
Handbook of Philosophical Logic
360Hardcover(Second Edition 2002)
$169.99
169.99
In Stock
Product Details
| ISBN-13: | 9781402002359 |
|---|---|
| Publisher: | Springer Netherlands |
| Publication date: | 01/31/2002 |
| Series: | Handbook of Philosophical Logic , #5 |
| Edition description: | Second Edition 2002 |
| Pages: | 360 |
| Product dimensions: | 6.30(w) x 9.45(h) x 0.04(d) |
From the B&N Reads Blog