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
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
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.