5 results
Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
Вход
Русский
Белорусский
Английский
Deutsch
Español
Français
中文(繁體)
polski
Язык
Электронный каталог Национальной библиотеки Беларуси находится в тестовом режиме
Перейти в электронную библиотеку
Все поля записи
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
Автор/Создатель
Клини, С. К.
Отображение
1
-
5
из
5
для поиска:
'Клини, С. К.'
, время запроса: 0.01сек.
Результаты на странице
20
50
100
Сортировка
Релевантность
Дата (по убыванию)
Дата (по возрастанию)
Автор
Заглавие
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
result_checkbox_label
1
Введение в метаматематику / Перевод с англ. А. С. Есенина-Вольпина. Под ред. В. А. Успенского. - М. : Изд. иностр. лит., 1967. - 526 с.
Автор
Клини
,
С
.
К
.
“
...
Клини
,
С
.
К
. Стефен Коул...
”
Книги
Добавить в Избранное
Сохранено в:
result_checkbox_label
2
Математическая логика / Перевод с англ. Ю. А. Гастева. Под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с.
Автор
Клини
,
С
.
К
.
“
...
Клини
,
С
.
К
. Стефан Коул...
”
Книги
Добавить в Избранное
Сохранено в:
result_checkbox_label
3
Основания интуиционистской математики с точки зрения теории рекурсивных функций / Пер. с англ. Ф. А. Кабакова и Б. А. Кушнера. - М. : Наука, 1978. - 271 с. - (Мат. логика и основания математики)
Автор
Клини
,
С
.
К
.
“
...
Клини
,
С
.
К
. Стефен Коул...
”
Книги
Добавить в Избранное
Сохранено в:
result_checkbox_label
4
Математическая логика: перевод с английского / С. К. Клини. - Изд. 4-е. - Москва : ЛКИ, 2008. - 480 с. - (Физико-математическое наследие. Математика. Основания математики и логика)
Автор
Клини
,
С
.
К
. (1909—1994)
“
...
Клини
,
С
.
К
. (1909—1994) Стивен Коул...
”
Книги
Добавить в Избранное
Сохранено в:
result_checkbox_label
5
Введение в метаматематику / С. К. Клини. - Изд. 2-е, исправленное. - Москва : URSS, Либроком, 2009. - 523 с. - (Физико-математическое наследие. Математика)
Автор
Клини
,
С
.
К
. (1909—1994)
“
...
Клини
,
С
.
К
. (1909—1994) Стивен Коул...
”
Книги
Добавить в Избранное
Сохранено в:
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
Инструменты поиска:
RSS-поток
–
Отправить результаты поиска по Email
–
Сохранить запрос
Связанные темы
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Математическая логика
ОСНОВАНИЯ МАТЕМАТИКИ
ВЫЧИСЛИМОСТИ ТЕОРИЯ
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
Интуиционизм (филос.)
МАТЕМАТИКА
МЕТАМАТЕМАТИКА
Математика - Философские проблемы
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ
РЕКУРСИВНЫЕ ФУНКЦИИ
Функции рекурсивные