Skip to main content

Picture 1 of 3

Picture 1 of 3
Picture 2 of 3
Picture 3 of 3

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

mtctsims (131)
100% positive feedback
Price:
US $29.43
(inclusive of GST)
ApproximatelyS$ 38.69
+ $23.50 shipping
Estimated delivery Mon, 19 May - Wed, 28 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
Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier
item 1 Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier
S$ 38.69
+S$ 30.90 postage
item 2 Logic for Computer Science: Foundations of Automatic Theorem Proving
S$ 38.95
+S$ 30.90 postage
item 3 Logic for Computer Science: Foundations of Automatic Theorem Proving
S$ 42.35
+S$ 31.00 postage
LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC By Jean H Gallier EXCELLENT
item 4 LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC By Jean H Gallier EXCELLENT
S$ 62.70
+S$ 31.60 postage
No ratings or reviews yet
Be the first to write a review

You may also like