Logic and Structure

Dalen, D. van

ISBN 10: 3540098933 / ISBN 13: 9783540098935

Published by Springer, 1980

About this Item

24 x 16.5 cm. 172pp. Three main chapters: "Propositional Logic", "Predicate Logic", "Completeness and Applications". Universitext.

Seller Inventory # 79577

Bibliographic Details

• Title: Logic and Structure
• Publisher: Springer
• Publication Date: 1980
• Language: English
• ISBN 10: 3540098933
• ISBN 13: 9783540098935
• Binding: Hardcover
• Condition: Very Good
• Seller catalogs:
  • Mathematics

About this title

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

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)