Целищев, В. В. Вычислимость и доказательство / В. В. Целищев // Философия науки. - 2006. - N 2. - С. . 32-51. - Библиогр.: с. 51 (7 назв. ) Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): вычисления (логика) -- дедуктивные выводы -- доказательства (логика) -- логические операции |