D. B. Van Dalen · D D · Deobold B. Van Dalen · Dirk van Dalen
title | media type | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|---|
Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics | Hardcover | 978-0-387-15524-1 | 1987 | J.E. Kister · A.S. Ptroelstra | |
Brouwer's Cambridge Lectures on Intuitionism | Paperback | 978-0-521-17736-8 | 2011 | ||
Constructivism in Mathematics: An Introduction (Volume 121) | " | 978-0-444-70506-8 | 1988 | A.S. Troelstra | |
Constructivism in Mathematics, Vol 2, Volume 123 | Hardcover | 978-0-444-70358-3 | 1988 | A. S. Troelstra | |
L.E.J.Brouwer Centenary Symposium Proceedings | " | 978-0-444-86494-9 | 1982 | " | |
Logic and Structure | Paperback | 978-1-4471-4557-8 | 2012 | Dirk Van Dalen | |
Logic and Structure | Taschenbuch | 978-3-540-57839-0 | 1997 | ||
Logic and structure | Paperback | 978-0-387-12831-3 | 1983 | ||
Logic and structure | Hardcover | 978-0-387-09893-7 | 1980 | ||
Mystic, Geometer and Intuitionist: The Life of L.E.J. Brouwer: Dawning Revolution Vol 1 | " | 978-0-19-850297-5 | 1999 | ||
Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer: Hope and Disillusion v. 2 | " | 978-0-19-851620-0 | 2005 |
Cambridge University Press · Elsevier Science · Oxford University Press · Springer