Автор: Кипнис Михаил Маркович
Основное заглавие: Генценовские системы для исчисления высказываний и аксиоматической арифметики
Сведения, относящ. к заглавию: Учеб. пособие
Ответственность: Челяб. гос. пед. ин-т
Физический носитель: Текст
Год публикации: 1985
Место издания: Челябинск
Издательство: ЧПИ
Объем: 31,(1) с.
Ключевые слова: Логика; Математическая логика
ББК: 22.122я7
Находится: СОУНБ
Сведения об экземплярах, инвентарных номерах и статусе выдачи поступают из АБИС и появятся на карточке после подключения к ней. Заказ издания из фонда — на следующем этапе каталога.