138 We use cookies. Read the Privacy and Cookie Policy I accept 138 Heyting A. La conception intuitionniste de la Logique // Les Йtudes philosophiques. № 2. 1956. P. 226.