Поиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Ладов В. А. «Критический анализ иерархического подхода Рассела-Тарского к решению проблемы парадоксов» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №44 C.11-24
Доманов О. А. «Формализация контекстов в теории типов с записями и модулями» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №52 C.23-38
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №49 C.34-41
Ладов В. А. «Идея ограничения теории типов в философии математики в контексте критики эпистемологического релятивизма» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №51 C.43-52
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №46 C.49-57