Items related to Logic & Structure (Universitext)

Logic & Structure (Universitext) - Softcover

 
9783540098935: Logic & Structure (Universitext)

Synopsis

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.

Review

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)

From the Back Cover

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.

Buy Used

Condition: Good
Some shelfwear to the edge of the...
View this item

£ 3.10 shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9781447145578: Logic and Structure (Universitext)

Featured Edition

ISBN 10:  1447145577 ISBN 13:  9781447145578
Publisher: Springer, 2012
Softcover

Search results for Logic & Structure (Universitext)

Stock Image

Van Dalen, Dirk
Published by Springer-Verlag, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used Softcover

Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 8.77
Convert currency
Shipping: £ 3.10
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Van D. Dalen; Dirk Van Dalen
Published by Springer, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used Paperback

Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 12.50
Convert currency
Shipping: £ 3.75
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

van Dalen, Dirk
Published by Springer-Verlag, Berlin, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used Paperback

Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 12.78
Convert currency
Shipping: £ 3.50
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dirk, van Dalen:
Published by Berlin, Springer, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used Softcover

Seller: Antiquariat Bookfarm, Löbnitz, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 12.92
Convert currency
Shipping: £ 6.10
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Van Dalen, Dirk
Published by Springer-Verlag, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used Softcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 15.78
Convert currency
Shipping: £ 6.97
From France to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

D. van Dalen
Published by Springer-Verlag, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used Paperback

Seller: WeSavings LLC, MONTGOMERY, TX, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Paperback. Condition: Good. No Jacket. X-Library book. Typical library markings. Ships promptly from Texas. 100% Money-Back Guarantee!!! Seller Inventory # 16.94

Contact seller

Buy Used

£ 12.35
Convert currency
Shipping: £ 20.30
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dahlen, Dirk van:
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used 24 x 16 cm First Edition

Seller: avelibro OHG, Dinkelscherben, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

£ 35.89
Convert currency
Shipping: £ 9.55
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dalen, D. van
Published by Springer, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used Hardcover

Seller: Midway Book Store (ABAA), St. Paul, MN, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Very Good. 24 x 16.5 cm. 172pp. Three main chapters: "Propositional Logic", "Predicate Logic", "Completeness and Applications". Universitext. Seller Inventory # 79577

Contact seller

Buy Used

£ 19.36
Convert currency
Shipping: £ 33.84
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

van Dalen, Dirk
Published by Springer-Verlag, 1980
ISBN 10: 3540098933 ISBN 13: 9783540098935
Used paperback

Seller: Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

paperback. Condition: Good. Good. book. Seller Inventory # ERICA82935400989333

Contact seller

Buy Used

£ 90
Convert currency
Shipping: £ 8
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket