Normal view
MARC view
- Гедель, Курт
Гедель, Курт 1906-1978 О формально разрешимых предложениях "Оснований математики" и связанных с ними системах (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU)1008074: Хокинг, Стивен 67985 1942-2018, Бог создал целые числа. , 2022