138

138

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