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

Базы данных


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

Виды поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>KL=ПРОПОЗИЦИОНАЛЬНЫЕ СВЯЗКИ<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 16/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику : научное издание
Выходные данные : М.: Наука, 1971
Колич.характеристики :320 с. ; 22 см
Цена : 1.77 р.
ГРНТИ : 27.03
УДК : 16
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): пропозициональные связки--кванторы--арифметизация--теория множеств--теорема хартогса--теорема тарского
Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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