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.
Read More
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.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition:
2001, North-Holland
Hardcover,
New
Details:
ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
07/2001
Language:
English
Alibris ID:
16845340290
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Size: 9x6x2; New. In shrink wrap. Looks like an interesting title!
Hide Details ▴
Edition:
2001, North-Holland
Hardcover,
Good
Details:
ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17323971688
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Hide Details ▴
Edition:
2001, North-Holland
Hardcover,
New
Available Copies: 5
Details:
ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
16185359718
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning.
Hide Details ▴
Edition:
2001, North-Holland
Hardcover,
New
Available Copies: 5
Details:
ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17980798860
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning.
Hide Details ▴
Edition:
2001, North-Holland
Hardcover,
New
Available Copies: 10+
Details:
ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17383628214
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II.
Hide Details ▴
Edition:
2001, North-Holland
Hardcover,
New
Available Copies: 2
Details:
ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
17599949964
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches.
Hide Details ▴
Edition:
2001, North-Holland
Hardcover,
New
Available Copies: 10+
Details:
ISBN:
0444508120
ISBN-13:
9780444508126
Pages:
1188
Publisher:
North-Holland
Published:
2001
Language:
English
Alibris ID:
13161441664
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. 1188 p. Contains: Unspecified. Handbook of Automated Reasoning, II.
Hide Details ▴
2001,
North-Holland, Amsterdam, Netherlands
ISBN-13: 9780444508126
Hardcover
Books by Alan J a Robinson