Paperback in acceptable condition. Ex-library. Laminated covers are lightly marked and scored. Sticker residue on front cover and spine. Leading corners, edges and spine ends are lightly bumped and worn. Page block is marked. Library labels and stamp on rear inside cover. Stains and minor creases throughout pages. Text remains clear throughout. Binding is sound. HCW
"synopsis" may belong to another edition of this title.
From the reviews of the fourth edition: "This book teaches logic to mathematicians in just the way I would have wished. ... Beginning with the propositional calculus by means of truth-tables, i.e. the semantics, it proceeds to the syntactics in the form of Gentzen’s natural deduction. ... this fourth edition has a long final chapter added, on Gödel’s incompleteness theorem. ... The chapter follows traditional lines but preserves the excellent quality of the earlier chapters. This is a delightful textbook, with plenty of examples for the reader." (C.W. Kilmister, The Mathematical Gazette, Vol. 89(515), 2005) "This is the fourth edition of van Dalen’s classic textbook on logic in the popular ‘Universitext’ -series. ... this book explains clearly all aspects of logic which a novice in this matter should learn by heart. ... Reading this book was a real delight. A lot of the fun was in the exercises ... heartily recommend this excellent textbook; ... Current students may have little interest in formal mathematics ... the problem will solve itself when they all have a copy on their personal bookshelf." (Pieter Audenaert, Bulletin of the Belgian Mathematical Society, Vol. 12 (3), 2005)
A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically. Finally, this edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.
"About this title" may belong to another edition of this title.
£ 3.10 shipping within United Kingdom
Destination, rates & speedsSeller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Condition: Good. Some shelfwear to the edge of the book, a few stains to the cover on both sides. Content is clean throughout. A decent readable copy. Seller Inventory # 078343-10
Quantity: 1 available
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Paperback. Condition: Very Good. Type: Book N.B. Small plain label to inside front cover. Yellowing to page edges. Light rubbing to edges and corners of covers and spine. (MATHEMATICS). Seller Inventory # 300849
Quantity: 1 available
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Paperback. Condition: Acceptable. Paperback in acceptable condition. Ex-library. Laminated covers are lightly marked and scored. Sticker residue on front cover and spine. Leading corners, edges and spine ends are lightly bumped and worn. Page block is marked. Library labels and stamp on rear inside cover. Stains and minor creases throughout pages. Text remains clear throughout. Binding is sound. HCW. Ex-Library. Seller Inventory # 439020
Quantity: 1 available
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Softcover. 174 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 3540098933 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2340988
Quantity: 1 available
Seller: Ammareal, Morangis, France
Softcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1980. Editeur différent. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1980. Different publisher. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-597-705
Quantity: 1 available
Seller: WeSavings LLC, MONTGOMERY, TX, U.S.A.
Paperback. Condition: Good. No Jacket. X-Library book. Typical library markings. Ships promptly from Texas. 100% Money-Back Guarantee!!! Seller Inventory # 16.94
Quantity: 1 available
Seller: avelibro OHG, Dinkelscherben, Germany
24 x 16 cm. Condition: Gut. 1. Auflage. VII, 172 Seiten Softcover. Original Broschur. Bibliotheksrückenschild mit Klebeband am unteren Buchrücken. Kapitale, Kanten und Ecken stärker berieben und bestoßen und mit kleinen Läsuren. Bibliotheksexemplar mit den üblichen Bibliotheksstempeln und Einträgen. Seiten durchgehend leicht gebräunt. Sonst innen sehr sauberer, guter Zustand. - Paperback with library label on spine. Edges and corners strongly rubbed and bumped. Inside with the common library stamps and inscriptions. Otherwise very clean. With browning. B12-03-02E|A78 Sprache: Englisch Gewicht in Gramm: 320. Seller Inventory # 50245
Quantity: 1 available
Seller: Midway Book Store (ABAA), St. Paul, MN, U.S.A.
Hardcover. Condition: Very Good. 24 x 16.5 cm. 172pp. Three main chapters: "Propositional Logic", "Predicate Logic", "Completeness and Applications". Universitext. Seller Inventory # 79577
Quantity: 1 available
Seller: Mispah books, Redhill, SURRE, United Kingdom
paperback. Condition: Good. Good. book. Seller Inventory # ERICA82935400989333
Quantity: 1 available