Logic and Structure

Valutazione media 4,16
( su 25 valutazioni fornite da Goodreads )
 
9783540208792: Logic and Structure
Vedi tutte le copie di questo ISBN:
 
 

New corrected printing of a well-established text on logic at the introductory level.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione:

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)

L'autore:

Dirk van Dalen studied at the University of Amsterdam, where he obtained his PhD. He has taught since 1960 at Utrecht University, where he is full professor. He also taught at MIT and Oxford. His technical work is mostly in the area of intuitionistic mathematics and logic. He uses to call attention to the benefits and challenges of constructive methods. His current project is a biography of L.E.J. Brouwer and the editing of Brouwer's correspondence.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783540578390: Logic and Structure: Augmented Edition

Edizione in evidenza

ISBN 10: 3540578390 ISBN 13: 9783540578390
Casa editrice: Springer-Verlag, 1994
Brossura

9780387098937: Logic and structure (Universitext) [Hardcover] by Dalen, D. van

Rilegato

9780387578392: Logic and Structure

Spring..., 1994
Brossura

9780387128313: Logic and structure [Paperback] by D. van Dalen

Brossura

9783540128311: Logic and Structure

Springer, 1983
Brossura

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

1.

Dalen, Dirk van
Editore: Springer (2008)
ISBN 10: 3540208798 ISBN 13: 9783540208792
Nuovo Paperback Quantità: 2
Da
Save With Sam
(North Miami, FL, U.S.A.)
Valutazione libreria

Descrizione libro Springer, 2008. Paperback. Condizione: New. Brand New!. Codice articolo VIB3540208798

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 103,58
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi