"L.E.J.Brouwer Centenary Symposium Proceedings " - читать интересную книгу автора (A.S. Troelstra, D.van Dalen, D. Van Dalen)