Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensionality in Church's Type Theory by C. Brown (2007, Perfect)
Rarewaves (622643)
97.7% positive feedback
Price:
US $46.86
ApproximatelyPHP 2,617.65
+ $3.99 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCollege Publications
ISBN-101904987575
ISBN-139781904987574
eBay Product ID (ePID)64014798
Product Key Features
Number of Pages564 Pages
Publication NameAutomated Reasoning in Higher-Order Logic : Set Comprehension and Extensionality in Church's Type Theory
LanguageEnglish
SubjectIntelligence (Ai) & Semantics, Logic
Publication Year2007
TypeTextbook
AuthorC. Brown
Subject AreaMathematics, Computers, Philosophy
FormatPerfect
Dimensions
Item Height1.1 in
Item Weight27.6 Oz
Item Length9.2 in
Item Width6.1 in
Additional Product Features
Dewey Edition22
IllustratedYes
Dewey Decimal511.3
LC Classification NumberQA9.B769 2007
Be the first to write a review
