Author: A. Heyting, L. E. J. Brouwer (series ed.), E. W. Beth (series ed.)