Просмотр записи

Cиcт.нoмep	000019461
Идeнтиф.	RU\NLR\AUTH\6620994
Версия	20110720120019.0
Заголовок	Математическая логика
Сс. от	Метаматематика
Прим."см."	См. Теоретическая логика
Сс. от	Метаматематика
Б.широкое	Логика
Б.узкое	Функции рекурсивные
Б.узкое	Матричная логика
Б.узкое	Алгебра событий
Б.узкое	Теория доказательств(мат.)
Б.узкое	Комбинаторная логика
Б.узкое	Математика конечная
Б.узкое	Информационная логика
Б.узкое	Полимодальная логика
Б.узкое	Алгебра логики
Б.узкое	Алгоритмы
Б.узкое	Логика кванторная
Б.узкое	ca rus Математические вычисления Логическое моделирование
Б.узкое	Формальная арифметика
Б.узкое	Аксиоматические исчисления
Б.узкое	Алгебры булевы
Б.узкое	Алгебра высказываний
Б.узкое	Математическая индукция
Б.узкое	Интуиционизм
Б.узкое	Математическая дедукция
Б.узкое	Логические выводы Математическая теория
Б.узкое	Логическое следование
Б.узкое	Логика модальная
Б.узкое	Уравнения в термах
Б.узкое	Исчисление программ функциональных операций
Б.узкое	Антиномии
Б.узкое	Диаграммы Венна
Б.узкое	Топосы(мат.)
Б.узкое	Лукашевич Ян Я.
Б.узкое	Фрегс Готлиб Г. 1848 - 1925
Б.узкое	Модели в математической логике
Б.узкое	Молекулы Спектральный анализ Методы математической логики
Б.узкое	Полиномы с действительными коэффициентами Логико-алгебраические преобразования
Б.узкое	Рекурсивная теория
Б.узкое	Системы подстановок термов
Б.узкое	Системы счисления с произвольным основанием Логические операции
Б.узкое	Техническая математика Логические основы
Б.узкое	Формализм математический
Б.узкое	Формальные системы
Б.узкое	Функциональные системы
Б.узкое	Функции натурального ряда одноместные Логические теории
Б.узкое	Энергетика Задачи Решение Методы математической логики
Б.узкое	Наследственно конечных надстроек теория
Б.узкое	Программы(компьют.) Верификация MODEL CHECKING, метод
Индекс ББК	В12