Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=вычисления (логика)<.>)
Общее количество найденных документов : 1
1.


    Целищев, В. В.
    Вычислимость и доказательство [Текст] / В. В. Целищев // Философия науки. - 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
УДК
^a16
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
вычисления (логика) -- дедуктивные выводы -- доказательства (логика) -- логические операции
Аннотация: В статье рассмотрены некоторые спорные вопросы соотношения вычислимости и доказательства.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)