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

Базы данных


Электронный каталог - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :125
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (9)Публикации учёных СГУ (3)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (260)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математическая логика<.>)
Общее количество найденных документов : 125
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.

Герн, Б. Новое изложение логики, основанное на элементарных курсах математики и физики. Ч. 1:Логика дедуктивная. Логика математики. - 1902
2.

Гильберт, Давид Основания математики. [Т. 1]:Логические исчисления и формализация арифметики. - 1979
3.

Справочная книга по математической логике: В 4 ч.. Ч. 1:Теория моделей: Пер. с англ. / Под ред. Ершова Ю. Л. и др.. - 1982
4.

Справочная книга по математической логике: В 4 ч.. Ч. 2:Теория множеств: Пер. с англ. / Под ред. Гришина В. Н.. - 1982
5.

Гильберт, Давид Основания математики. [Т. 2]:Теория доказательств. - 1982
6.

Справочная книга по математической логике: В 4 ч.. Ч. 3:Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л.. - 1982
7.

Колмогоров А. Н. Математическая логика: Дополнительные главы/А. Н. Колмогоров, А. Г. Драгалин. - 1984
8.

Hilbert A. Mathematik/Alfred Hilbert. - 1989
9.

Грэй П. Логика, алгебра и базы данных/П. Грэй ; . - 1989
10.

Самарин Ю. П. Математика для студентов технических вузов/Ю. П. Самарин, Г. А. Сахабиева. - 1990
11.

Reports on Mathematical Logic. N . 25. - 1991
12.

Вычислительные системы. Вып. 139:Теория вычислимости и языки спецификаций. - 1991
13.

Игошин В. И. Математическая логика и теория алгоритмов/Владимир Иванович Игошин. - 1991
14.

Алгебра и логика. Т. 31 N 1. - 1992
15.

Reports on Mathematical Logic. N . 26. - 1992
16.

Модели, алгоритмы, программы. - 1993
17.

Волгин Л. И. Комплементарная алгебра и моделирование нейронных структур/Л. И. Волгин ; . - 1993
18.

Жоль К. К. Логика в лицах и символах/К. К. Жоль. - 1993
19.

Reports on Mathematical Logic. N . 27. - 1993
20.

Instituto de Matematicas: Memorias del 50 Aniversario 1942-1992. - [1994]
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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