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

Информация

По вашему запросу найдено материалов: 1
Искать:
Доманов О. А. «Формализация контекстов в теории типов с записями и модулями» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №52 C.23-38
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы» // Вестник Томского государственного университета. Философия. Социология. Политология 2020. №57 C.25-32
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №49 C.34-41
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №46 C.49-57
Борисов Е. В. «Теория символизма Рассела-Витгенштейна» // Вестник Томского государственного университета. Философия. Социология. Политология 2021. №62 C.211-217
Целищев В. В. , Хлебалин А. В. «Философские прозрения и техническая работа: судьбы парадоксов» // Вестник Томского государственного университета. Философия. Социология. Политология 2021. №62 C.237-243
Доманов О. А. «Понимание как вычисление» // Вестник Томского государственного университета. Философия. Социология. Политология 2022. №67 C.287-291