138 138 Heyting A. La conception intuitionniste de la Logique // Les Йtudes philosophiques. № 2. 1956. P. 226.