Logic and structure / Dirk van Dalen / Universitext

Dalen, Dirk van:

ISBN 10: 3540578390 / ISBN 13: 9783540578390

Editore: Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1997

Riguardo questo articolo

X, 217 S. : graph. Darst. ; 24 cm Unread book. Very good condition. Minimum traces of storage. 9783540578390 Sprache: Englisch Gewicht in Gramm: 340.

Codice articolo 201827

Dati bibliografici

• Titolo: Logic and structure / Dirk van Dalen / Universitext
• Editore: Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 3540578390
• ISBN 13: 9783540578390
• Rilegatura: Softcover
• Edizione: 3., augm. ed., corr. 2. printing.
• Cataloghi dei venditori:
  • Mathematik

Descrizione articolo

Riassunto

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary

Informazioni sull?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.