Back to eBay Home
|Listed in category:

Image Gallery
Have one to sell?
Sell it yourself

The Mechanism and Freedom of Logic by Granville C. Henry (1993, Hardcover)

freeculture
(717)
Seller's other items
Contact seller
US $37.98
ApproximatelyS$ 48.77
Condition:
Like New
“New without dust jacket.”
Breathe easy. Returns accepted.
Shipping:
Free USPS Media MailTM.
Located in: United States, United States
Delivery:
Estimated between Sat, 6 Sep and Fri, 12 Sep
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the shipping service selected, the seller's shipping history, and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:284194503439
Last updated on Jul 31, 2025 10:45:24 SGTView all revisionsView all revisions

Item specifics

Condition
Like New
A book in excellent condition. Cover is shiny and undamaged, and the dust jacket is included for hard covers. No missing or damaged pages, no creases or tears, and no underlining/highlighting of text or writing in the margins. May be very minimal identifying marks on the inside cover. Very minimal wear and tear. See all condition definitionsopens in a new window or tab
Seller Notes
“New without dust jacket.”
Narrative Type
Nonfiction
ISBN
9780819189639

About this product

Product Identifiers

Publisher
University Press of America, Incorporated
ISBN-10
0819189634
ISBN-13
9780819189639
eBay Product ID (ePID)
470488

Product Key Features

Book Title
Mechanism and Freedom of Logic
Number of Pages
242 Pages
Language
English
Topic
Programming Languages / General, Logic
Publication Year
1993
Illustrator
Yes
Genre
Computers, Philosophy
Author
Granville C. Henry
Format
Hardcover

Dimensions

Item Height
1.1 in
Item Weight
17.8 Oz
Item Length
9 in
Item Width
6 in

Additional Product Features

Intended Audience
Trade
LCCN
92-035172
Reviews
Henry presents formal logic with a strong orientation toward the applicability, scope, and limits of the subject. Given the many facets of formal logic and highly readable expository style, it would be a good addition to any academic library.>>>>, Henry presents formal logic with a strong orientation toward the applicability, scope, and limits of the subject. Given the many facets of formal logic and highly readable expository style, it would be a good addition to any academic library., "Henry presents formal logic with a strong orientation toward the applicability, scope, and limits of the subject. Given the many facets of formal logic and highly readable expository style, it would be a good addition to any academic library." --John B. Cobb, Jr., Claremont Graduate School, Science and Technology "...immensely rewarding." --John B. Cobb, Jr., Claremont Graduate School " ...immensely rewarding. " --John B. Cobb, Jr., Claremont Graduate School " Henry presents formal logic with a strong orientation toward the applicability, scope, and limits of the subject. Given the many facets of formal logic and highly readable expository style, it would be a good addition to any academic library. " --John B. Cobb, Jr., Claremont Graduate School, Science and Technology
TitleLeading
The
Dewey Edition
20
Dewey Decimal
160
Synopsis
This book uses the friendly format of the computing language Prolog to teach a full formal predicate logic. With Prolog, the scope and limits of both logic and computing can be explored and experimented. Students learning formal logic in a Prolog format can begin using their already developed informal abilities in logic to program in Prolog and conversely learn enough formal logic to examine Prolog and computing in general so major fundamental theorems can be demonstrated. Cases such as Church's Thesis, Church's Theorem, Turing's Halting Problem, and Godel's Incompleteness Theorem provide the author with the means to assess some of the philosophical implications of logic and computing. Henry designed the book for undergraduate students, but it is also useful for philosophers and theologians who wish to see how computer programming serves as a probe into philosophical matters. Contents: The Formalization of Logic; Propositional Logic; Predicate Logic; Prolog: Programming in Logic; Logic Machines; The Scope and Limits of Logic and Logic Machines; Philosophical Reflections; Appendix; Bibliography; Index.
LC Classification Number
BC108.H36 1993

Item description from the seller

About this seller

freeculture

100% positive feedback•1.5K items sold

Joined Jun 2006
Usually responds within 24 hours
Contact

Detailed Seller Ratings

Average for the last 12 months
Accurate description
4.9
Reasonable shipping cost
4.9
Shipping speed
5.0
Communication
5.0

Popular categories from this store

See allcategories
Other

Seller feedback (441)

All ratings
Positive
Neutral
Negative
  • *****- Feedback left by buyer.
    Past month
    Verified purchase
    A+
  • *****- Feedback left by buyer.
    Past month
    Verified purchase
    Great seller, book as described and pictured. Great packaging and fast shipping. Thanks for a fast smooth transaction.
  • *****- Feedback left by buyer.
    Past month
    Verified purchase
    Book is in great shape fast shipping well packaged thank you so much!
See all feedback
This is a private listing and your identity will not be disclosed to anyone except the seller.