Metalogic : An Introduction to the Metatheory of Standard First Order Logic by Geoffrey Hunter (1973, Trade Paperback)

ThriftBooks (3954600)
98.9% positive feedback
Price:
US $9.87
ApproximatelyAU $15.11
+ $13.18 postage
Estimated delivery Mon, 8 Sep - Wed, 24 Sep
Returns:
No returns, but backed by eBay Money Back Guarantee.
Condition:
Good
Metalogic: An Introduction to the Metatheory of Standard First Order Logic by Hunter, Geoffrey Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less

About this product

Product Identifiers

PublisherUniversity of California Press
ISBN-100520023560
ISBN-139780520023567
eBay Product ID (ePID)239128

Product Key Features

Number of Pages302 Pages
Publication NameMetalogic : an Introduction to the Metatheory of Standard First Order Logic
LanguageEnglish
SubjectGeneral, Logic
Publication Year1973
TypeTextbook
Subject AreaMathematics, Science
AuthorGeoffrey Hunter
FormatTrade Paperback

Dimensions

Item Height0.1 in
Item Weight12.8 Oz
Item Length0.8 in
Item Width0.6 in

Additional Product Features

Intended AudienceScholarly & Professional
LCCN71-131195
Dewey Edition18
IllustratedYes
Dewey Decimal511/.3
SynopsisThis work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.
LC Classification NumberQA9

All listings for this product

Buy It Now
Any condition
New
Pre-owned
No ratings or reviews yet.
Be the first to write a review.