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

ThriftBooks (3876933)

99% positive feedback

Price:

US $32.21

(inclusive of GST)

ApproximatelyS$ 42.35

+ $23.58 shipping

Estimated delivery Thu, 15 May - Mon, 26 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

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

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