Бессонов, А. В., Россия
-
Том 13, № 2 (2016): Современная логика: проблемы теории, истории и применения в науке - Символическая логика и основания математики
Вторая теорема Гёделя о неполноте не дезавуирует программу Гильберта
Аннотация PDF
ISSN: 2223-3954