Picture 1 of 3
Picture 1 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)
M
mtctsims (131)
100% positive feedback
Price:
US $27.00
ApproximatelyRM 116.53
+ $19.03 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
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
Be the first to write a review
