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

freeculture (645)

100% positive feedback

Price:

US $41.40

(inclusive of GST)

ApproximatelyS$ 54.43

+ $23.85 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:

Like New

About this product

Product Identifiers

PublisherUniversity Press of America, Incorporated

ISBN-100819189634

ISBN-139780819189639

eBay Product ID (ePID)470488

Product Key Features

Book TitleMechanism and Freedom of Logic

Number of Pages242 Pages

LanguageEnglish

TopicProgramming Languages / General, Logic

Publication Year1993

IllustratorYes

GenreComputers, Philosophy

AuthorGranville C. Henry

FormatHardcover

Dimensions

Item Height1 in

Item Weight16 Oz

Item Length9 in

Item Width6 in

Additional Product Features

Intended AudienceTrade

LCCN92-035172

Dewey Edition20

ReviewsHenry 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.

TitleLeadingThe

Dewey Decimal160

SynopsisThis 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 NumberBC108.H36 1993