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

Базы данных


Труды учёных ПГНИУ - результаты поиска

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

   
    Исчисление высказываний : метод. пособие по логике / сост. В. Х. Зеленкин. - 2-е изд., испр. и доп. - Пермь : [б. и.], 2010. - 120 с. - Б. ц.
УДК
16
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
синтаксическо-семантическая система -- логика высказываний -- натуральные системы исчисления -- аксиоматические исчисления высказываний -- теоремы дедукции -- метатеоремы исчисления высказываний


Доп.точки доступа:
Зеленкин, В. Х. \сост.\
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 08.07.2024
Число запросов 55628
Число посетителей 540
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)