Целищев, В. В. Вычислимость и доказательство [Текст] / В. В. Целищев // Философия науки. - 2006. - N 2. - С. . 32-51. - Библиогр.: с. 51 (7 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_002_0032_1. - Зональная научная библиотека Ростовского государственного университета. - N 2(29). - С. 32-51. - phna06_000_002_0032_1, 2, 32-51
Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): вычисления (логика) -- дедуктивные выводы -- доказательства (логика) -- логические операции Аннотация: В статье рассмотрены некоторые спорные вопросы соотношения вычислимости и доказательства. Нет сведений об экземплярах (Источник в БД не найден) |