Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ АКСИОМАТИЧЕСКОЕ<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 16/И 918
Заглавие : Исчисление высказываний : методическое пособие по логике . -2-е изд., испр. и доп.
Выходные данные : Пермь, 2010
Колич.характеристики :120 с
Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный университет. Кафедра философии
Примечания : Библиогр.: с. 117-120
Цена : 54.72, 54.72, 73.50, р.
ГРНТИ : 02.21.31
УДК : 161.2(075.8)
ББК : Ю422я73
Предметные рубрики: Логика
Ключевые слова (''Своб.индексиров.''): высказывания (логика)--исчисление высказываний натуральное--исчисление высказываний аксиоматическое--дедукция (теорема)--исчисление высказываний (метатеоремы)
Экземпляры : всего : Х(1), ЧЗГ(1), АБУ(17), БЮФ(1)
Свободны : Х(1), ЧЗГ(1), АБУ(17), БЮФ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 08.08.2024
Число запросов 13076
Число посетителей 151
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)