Изв. вузов. Матем.,
1993, номер 3, страницы 78–80
(Mi ivm4381)
|
Интуиционистское доказательство совместимости тезиса Черча с теорией множеств
В. Х. Хаханян г Москва
УДК:
517.12
Поступила: 07.10.1992
Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 1993,
37:3,
76–78
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (235 kB)