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