Description: Further DetailsTitle: Automated Reasoning in Higher-order LogicCondition: NewSubtitle: Set Comprehension and Extensionality in Church's Type TheoryISBN-10: 1904987575EAN: 9781904987574ISBN: 9781904987574Publisher: College PublicationsFormat: PaperbackRelease Date: 10/22/2007Language: EnglishCountry/Region of Manufacture: GBItem Height: 234mmItem Length: 156mmItem Width: 29mmItem Weight: 781gAuthor: Chad E. BrownGenre: Science Nature & MathRelease Year: 2007 Missing Information?Please contact us if any details are missing and where possible we will add the information to our listing.
Price: 43.99 USD
Location: GU14 0GT
End Time: 2025-01-26T03:19:22.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money back or replacement (buyer's choice)
Book Title: Automated Reasoning in Higher-order Logic
Title: Automated Reasoning in Higher-order Logic
Subtitle: Set Comprehension and Extensionality in Church's Type Theory
ISBN-10: 1904987575
EAN: 9781904987574
ISBN: 9781904987574
Release Date: 10/22/2007
Release Year: 2007
Country/Region of Manufacture: GB
Genre: Science Nature & Math
Number of Pages: 564 Pages
Language: English
Publication Name: Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensionality in Church's Type Theory
Publisher: College Publications
Item Height: 1.1 in
Publication Year: 2007
Subject: Intelligence (Ai) & Semantics, Logic
Item Weight: 27.6 Oz
Type: Textbook
Subject Area: Mathematics, Computers, Philosophy
Item Length: 9.2 in
Author: C. Brown
Item Width: 6.1 in
Format: Perfect
