| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... Notes in Computer Science , Band 1258) | Taschenbuch | | 978-3-540-63172-9 | 2008 | Marc Bezem |
| Hans Freudenthal, Selecta | Gebunden | | 978-3-03719-058-6 | 2009 | Tonny Springer |
| L E J Brouwer Biography | " | | 978-0-387-53336-0 | 1997 |
| L.E.J. Brouwer Biography | " | | 978-3-540-53336-8 | 1996 |
| L.E.J.Brouwer Centenary Symposium Proceedings | Hardcover | | 978-0-444-86494-9 | 1982 | A. S. Troelstra |
| L. E. J. Brouwer: Intuitionismus | Taschenbuch | | 978-3-662-61388-7 | 2020 | David E. Rowe |
| L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life | Paperback | | 978-1-4471-6990-1 | 2016 |
| L.E.J. Brouwer Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life | Hardcover | | 978-1-4471-4615-5 | 2012 |
| Logica e Estrutura | Paperback | | 978-1-84890-262-6 | 2017 |
| Logic and Structure | " | | 978-1-4471-4557-8 | 2012 |
| Logic And Structure | Taschenbuch | | 978-3-540-20879-2 | 2008 |
| Logic and Structure | Paperback | | 978-0-387-57839-2 | 1994 |
| Logic and Structure | Taschenbuch | | 978-3-540-57839-0 | 1994 |
| Logic and Structure | " | | 978-3-540-09893-5 | 1983 |
| Logic and Structure | " | | 978-3-540-12831-1 | 1983 |
| Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer 1881-1966: Volume 2: Hope and Disillusion: Hope and Disillusion v. 2 | Hardcover | | 978-0-19-851620-0 | 2005 |
| Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer, Vol. 1 - The Dawning Revolution | " | | 978-0-19-850297-5 | 1999 |
| Proof Theory Constructive Mathematics | Gebunden | | 978-3-540-15524-9 | 1987 | Gert H. Müller · Jane E. Kister · Anne Troelstra · Wolfgang Lenski |