Поиск книг, содержащих Математическая логика :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Четвертый курс

square

Пятый курс

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Математическая логика

Книга	Страницы для поиска
Клини С. — Математическая логика	11
Манин Ю.И. — Доказуемое и недоказуемое	10
Курант Р., Роббинс Г. — Что такое математика?	150
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы	11
Яглом А.М., Яглом И.М. — Вероятность и информация.	64
Рейнгольд Э., Нивергельт Ю., Део Н. — Комбинаторные алгоритмы: теория и практика	458
Карри Х.Б. — Основания математической логики	18
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание	287, 440
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения	169
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	III-568—574
Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия	11
Савин А.П. — Энциклопедический словарь юного математика	180—183, 211
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник	192, 241, 467
Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия	174, 630—670
Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика.	579
Соколов Э.Т. — Кентавр, или Как математика помогает физике	15
Курант Р., Роббинс Г. — Что такое математика? (Элементарный очерк идей и методов)	140
Линде Д.П. (ред.) — Радиолюбительский справочник	286
Клини С.К. — Математическая логика	11
Яглом А.М., Яглом И.М. — Вероятность и информация	64
Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект	25, 83, 85, 176, 260, 271, 274, 288, 290, 301, 305, 306
Яглом А.М., Яглом И.М. — Вероятность и информация	64
Лукомская А.М. — Основные иностранные библиографические источники по математике и механике 1931-1957	135, 137, 138, 140—142, 145—150, 153, 154, 156—169, 171—181, 183, 287, 296, 463—466, 614, 781, см. также "Булевы структуры", "Интуиционизм", "Неразрешимость", "Проблема континуума", "Разрешимость", "Рекурсивные функции", "Теорема Геделя", "Теория множеств, основания"
Курант Р., Роббинс Г. — Что такое математика	150

О проекте