Picture 1 of 1

Gallery
Picture 1 of 1

Have one to sell?
Chad E. Brown Automated Reasoning in Higher-order Logic (Paperback)
AU $62.10
ApproximatelyRM 170.15
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages.
More than 10 available
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
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
Seller assumes all responsibility for this listing.
eBay item number:357214149968
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
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
Seller feedback (1,706,097)
- r***k (553)- Feedback left by buyer.Past monthVerified purchaseDisappointed with the tracking of this parcel. Company contacted & matter rectified but seller failed to advise directly. Improvement to customer service & tracking would be beneficial.
- y***y (1475)- Feedback left by buyer.Past monthVerified purchaseNeuware wie angeboten, gut verpackt schnell versandt.
- 8***e (3)- Feedback left by buyer.Past monthVerified purchaseThe book arrived nicely packed and on time!😊