Harper and Row Computer Science and Technology Ser.: Logic for Computer Science : Foundations of Automatic Theorem-Proving by Jean H. Gallier (1985, Hardcover)

ZUBER (261745)
97.9% positive feedback
Price:
US $47.69
(inclusive of GST)
ApproximatelyS$ 62.70
+ $24.03 shipping
Estimated delivery Wed, 14 May - Fri, 23 May
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:
Very Good

About this product

Product Identifiers

PublisherAddison-Wesley Educational Publishers, Incorporated
ISBN-100060422254
ISBN-139780060422257
eBay Product ID (ePID)4459125

Product Key Features

Number of Pages511 Pages
LanguageEnglish
Publication NameLogic for Computer Science : Foundations of Automatic Theorem-Proving
Publication Year1985
SubjectLogic
TypeTextbook
AuthorJean H. Gallier
Subject AreaMathematics
SeriesHarper and Row Computer Science and Technology Ser.
FormatHardcover

Additional Product Features

Intended AudienceCollege Audience
LCCN85-014071
Dewey Edition19
Dewey Decimal511.3
LC Classification NumberQA76.9.A96G35 1986

All listings for this product

Buy It Now
Pre-owned
No ratings or reviews yet
Be the first to write a review