|Listed in category:
Have one to sell?

Chad E. Brown Automated Reasoning in Higher-order Logic (Paperback)

AU $62.10
ApproximatelyRM 170.15
Condition:
Brand New
More than 10 available
Shipping:
Does not ship to United States.
Located in: Rushden, United Kingdom
Delivery:
Varies
Returns:
No returns accepted.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)

Shop with confidence

Top Rated Plus
Trusted seller, fast shipping, and easy returns. Learn more- Top Rated Plus - opens in a new window or tab
Seller assumes all responsibility for this listing.
eBay item number:357214149968
Last updated on Jul 31, 2025 17:51:45 MYTView all revisionsView all revisions

Item specifics

Condition
Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
Book Title
Automated Reasoning in Higher-order Logic
EAN
9781904987574
Genre
Science Nature & Math
Title
Automated Reasoning in Higher-order Logic
Subtitle
Set Comprehension and Extensionality in Church's Type Theory
ISBN-10
1904987575
ISBN
9781904987574
Country/Region of Manufacture
GB
Item Length
156mm
Release Date
22/10/2007
Release Year
2007

About this product

Product Identifiers

Publisher
College Publications
ISBN-10
1904987575
ISBN-13
9781904987574
eBay Product ID (ePID)
104507050

Product Key Features

Number of Pages
564 Pages
Publication Name
Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensionality in Church's Type Theory
Language
English
Publication Year
2007
Subject
Intelligence (Ai) & Semantics, Logic
Type
Textbook
Subject Area
Computers, Mathematics, Philosophy
Author
C. Brown
Format
Perfect

Dimensions

Item Height
1.1 in
Item Weight
27.6 Oz
Item Length
9.2 in
Item Width
6.1 in

Item description from the seller

Seller business information

VAT number: GB 864 1548 11
About this seller

Rarewaves Outlet

98.2% positive feedback4.5M items sold

Joined Oct 2006
Usually responds within 24 hours
Here at Rarewaves we offer a wide range of entertainment items including DVDs, CDs, Video Games & Books. All items are brand new, 100% official, bought direct from the UK supplier.All orders are sent ...
See more

Detailed Seller Ratings

Average for the last 12 months
Accurate description
4.9
Reasonable shipping cost
5.0
Shipping speed
4.7
Communication
4.8

Seller feedback (1,706,097)

All ratings
Positive
Neutral
Negative