Skip to content
Home/ Handbook of Automated Reasoning: Volume II
Handbook of Automated Reasoning: Volume II

Handbook of Automated Reasoning: Volume II

by Handbook of Automated Reasoning: Volume II
No customer reviews yet ISBN 9780444508126 North Holland

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

About the author

Product details

BrandNorth Holland
Pub dateJun 21, 2001
ISBN-100444508120
ISBN-139780444508126
Hardcover1188.0 pages
LanguageEnglish
Dimensions9.61 × 2.38 × 6.69 in
Weight5 lb
Last updated 2026-04-24 20:48
$317.93
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic
See all
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic
Nolt, John
$9.61
Symbolic Logic and Mechanical Theorem Proving
Chang, Chin-Liang
$84.56
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Revised)
Davis, Martin
$84.56
Fuzzy Sets and Systems: Theory and Applications
DuBois, Didier J
$84.56
Elements of Set Theory
Enderton, Herbert B
$84.56
Mathematical Introduction to Logic (Revised)
Enderton, Herbert B
$184.21