Metalogic (82 results)

Paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Condition: good. This item has a different cover than shown in the listing, but shares the same ISBN. Some sun-fading on the cover. Some shelf, storage or usage wear present. The binding is tight and all pages are present. Light staining on the page edges. Pictures available upon request. Individually inspected by Calla. Thanks for supporting an independent bookseller. …

paperback. Condition: Good. First Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condition: good. This book is in Good condition. There may be some notes and highlighting but otherwise the book is in overall good condition.

paperback. Condition: Good. First Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.…

paperback. Condition: Like New. First Edition. Ships in a BOX from Central Missouri! Like Brand NEW. No tears, highlighting or writing because it's never been used! May have minor shelf wear. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.…

paperback. Condition: Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Condition: New.

paperback. Condition: New. First Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

hardcover. Condition: Good. previous owner's name in front, paper cut outs taped in to front board and flyleaf Good hardcover with some shelfwear; may have previous owner's name inside. Standard-sized.

Condition: As New. Unread book in perfect condition.

paperback. Condition: New. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Paperback. Condition: New. This 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.…

Paperback. Condition: New. This 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.…

Paperback. Condition: Very Good-. Card cover age-toned, slight chipping at edges, small stain at fore-edge of front-panel, creased down spine and at rear fore-corners, adhesive residue from prior label at head of rear panel, a touch rubbed; Pages minimally spotted on edges, prior price stamped on ffep, degraded glue visible at front and rear joints, no annotation; Binding tight. ; 5.25 x 8.5"; 288 pages.…

Condition: As New. Unread book in perfect condition.

Paperback. Condition: New. An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.…

Condition: New.

Condition: New. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Num Pages: 302 pages, Ill. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 136 x 209 x 18. Weight in Grams: 354. An Introduction to the Metatheory of Standard First Order Logic. 302 pages, Ill. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 136 x 209 x 18. Weight: 338. . 1996. New Ed. Paperback. . . . .…

22 x 14,5 cm. Condition: Gut. 288 Seiten An Introduction to the Metatheory of Standard First Order Logic - Innen sauberer, guter Zustand, gebräunt. Leineneinband, mit den üblichen Bibliotheks-Stempeln und Einträgen, innen wie außen, siehe Bilder. DH-10-57B Sprache: Englisch Gewicht in Gramm: 424.

Paperback. Condition: new. Paperback. An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between. The meta-theory of classical logic is presented with unparalleled clarity in this rigorous new book. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.…

cloth, 8vo xiii+288 pp. formal languages; syntactic, semantic; decidable sets; finite sets; truth functions; predicate logic; undecidability; very good condition.