ВебКаталог
Найти.in
Расширенный поиск


Сортировать по: году, названию, автору (Я → А) Результаты 1 - 20 из примерно 23.
Элементарные рекурсивные функцииЭлементарные рекурсивные функции
Автор: С. С. Марченков
Год: 2003
Величины и числа. Популярные очеркиВеличины и числа. Популярные очерки
Автор: Л. М. Фридман
Год: 2006
Рассказы о множествахРассказы о множествах
Автор: Н. Я. Виленкин
Год: 2007
Математическая логикаМатематическая логика
Автор: С. К. Клини
Год: 2008
Введение в метаматематикуВведение в метаматематику
Автор: С. К. Клини
Год: 2008
Сложностный метод теории алгоритмовСложностный метод теории алгоритмов
Автор: В. А. Шурыгин
Год: 2009
Основания теории множествОснования теории множеств
Автор: А. А. Френкель, И. Бар-Хиллел
Год: 2010
Основы теоретической логикиОсновы теоретической логики
Автор: Д. Гильберт, В. Аккерман
Год: 2010