Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
 Найдено в других БД:Книжный фонд (2)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=истинность<.>
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вид документа : Однотомное издание
Шифр издания : 22.12/Е80
Автор(ы) : Ершов Ю.Л., Палютин Е.А.
Заглавие : Математическая логика : Учебное пособие для вузов
Выходные данные : М.: Наука, 1987
Колич.характеристики :336с.
Цена : 2.00, 2.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): высказывание--учебное пособие--исчисление--множество--истинность--предикат--модель--доказательство--алгоритм--функция--рекурсивная
Экземпляры : всего : чзт(1), аб(6)
Свободны : чзт(1), аб(6)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 87.4/Б48
Автор(ы) : Берков В.Ф., Яскевич Я.С., Павлюкевич В.И.
Заглавие : Логика : Учебное пособие . -3-е изд., испр. и доп.
Выходные данные : Мн.: ТетраСистемс, 1998
Колич.характеристики :480с.
ISBN, Цена 9856317568: 408.00, 408.00, р.
ББК : 87.4
Предметные рубрики: Философия-- логика
Ключевые слова (''Своб.индексиров.''): логика--учебное пособие--категория--закон--мысль--истинность--анализ--высказывание--имя--вывод--силлогизм--отношение--вероятность--модальность--вопрос--ответ--аксиома--формальность--познание--общение--обучение--управление--текст
Экземпляры : всего : аб(39)
Свободны : аб(39)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 22.12/Е80
Автор(ы) : Ершов Ю.Л., Палютин Е.А.
Заглавие : Математическая логика : Учебное пособие для вузов
Выходные данные : СПб. М.: Лань, 2004
Колич.характеристики :336с.
ISBN, Цена 5811405332: 2400.00, 2400.00, р.
ББК : 22.12
Предметные рубрики: Математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): учебник--математическая логика--исчисление--множество--истинность--предикат--модель--доказательство--алгоритм--функция--рекурсивная--теория множеств--теория моделей--теория доказательств--аксиома--высказывание
Экземпляры :чзт(1)
Свободны : чзт(1)
Найти похожие
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)