Contributor biographical information for Logic and structure / Dirk van Dalen.
Bibliographic record and links to related information available from the Library of Congress catalog
Biographical text provided by the publisher (may be incomplete or contain other coding). The Library of Congress makes no claims as to the accuracy of the information provided, and will not maintain or otherwise edit/update the information supplied by the publisher.
d104>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.
Library of Congress subject headings for this publication:
Logic, Symbolic and mathematical.