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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 16/Л 59
Автор(ы) : Линдон Р.
Заглавие : Заметки по логике : научное издание
Параллельн. заглавия :Notes on logic/ R. C. Lyndon
Выходные данные : М.: Изд-во "Мир", 1968
Колич.характеристики :127 с. ; 20 см
Серия: Современная математика = Van nostrand mathematical studies
Примечания : Библиогр.: с. 123 (20 назв.). - Указ.: с. 124-127. - Тит. л. парал. на англ. яз.
Цена : 0.41 р.
ГРНТИ : 02.21
УДК : 16
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): грамматика--термы--пропозициональная логика--разрешимые теории--логика предиктов--теорема дедукции --теорема о непротиворечивости--теорема адекватности
Аннотация: Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства он тем не менее нигде не ограничился одним описанием.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Линдон Р.
Заглавие : Заметки по логике
Выходные данные : Москва: Мир, 1968
Колич.характеристики :128 с
Цена : 0.41 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): булева алгебра--геделевы номера--логика--математические методы--пропозициональная логика--разрешимые теории--теорема геделя--теорема крейга--теорема левенгейма-сколема--теорема тарского--теорема черча--теорема эрбрана-генцена--теорема адекватности--теорема дедукции--теорема компктности--теорема о непротиворечивости--теоремы (логика)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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