Izv. Vyssh. Uchebn. Zaved. Mat., 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
UDC:
517.12
Received: 07.10.1992
English version:
Russian Mathematics (Izvestiya VUZ. Matematika), 1993,
37:3,
76–78
Bibliographic databases:
© , 2026
Fulltext:
PDF file (235 kB)