| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :16
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (2)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=исчисление высказываний<.>)
Общее количество найденных документов : 16
Показаны документы с 1 по 16
1.

Лихтарников Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения/Л. М. Лихтарников. - 1998
2.

Страбыкин Д. А. Логический вывод в системах обработки знаний/Д. А. Страбыкин. - 1998
3.

Лихтарников Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения/Л. М. Лихтарников, Т. Г. Сукачева. - 2008
4.

Клини С. К. Математическая логика/С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - 1973
5.

Новиков П. С. Элементы математической логики/П. С. Новиков. - 1973
6.

Лавров И. А. Математическая логика/И. А. Лавров ; под ред. Л. Л. Максимовой. - 2006
7.

Войшвилло Е. К. Логика как часть теории познания и научной методологии (фундаментальный курс). Кн. 1 . - 1994
8.

Войшвилло Е. К. Логика как часть теории познания и научной методологии (фундаментальный курс). Кн. 2. - 1994
9.

Иванов Б. Н. Дискретная математика/Б. Н. Иванов. - 2011
10.

Сборник задач по математической логике и алгебре множеств/А. В. Гохман [и др.]. - 1965
11.

Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. c англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 1976
12.

Сборник задач по математической логике и алгебре множеств/А. В. Гофман [и др.]. - 1969
13.

Новиков П. С. Элементы математической логики/П. С. Новиков. - 1959
14.

Эдельман С. Л. Математическая логика/С. Л. Эдельман. - 1975
15.

Горбатов В. А. Основы дискретной математики/В. А. Горбатов. - 1986
16.

Косовский Н. К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов/Н. К. Косовский. - 1981
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)