|
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 1993, Number 3, Pages 78–80
(Mi ivm4381)
|
|
|
|
An intuitionistic proof of the consistency of Church's thesis with set theory
V. Kh. Khakhanyan Moscow
Received: 07.10.1992
Citation:
V. Kh. Khakhanyan, “An intuitionistic proof of the consistency of Church's thesis with set theory”, Izv. Vyssh. Uchebn. Zaved. Mat., 1993, no. 3, 78–80; Russian Math. (Iz. VUZ), 37:3 (1993), 76–78
Linking options:
https://www.mathnet.ru/eng/ivm4381 https://www.mathnet.ru/eng/ivm/y1993/i3/p78
|
|