Поиск по Электронному каталогу Книги

В12
К 424
Кипнис, Михаил Маркович.
    Генценовские системы для исчисления высказываний и аксиоматической арифметики : учебное пособие / М. М. Кипнис ; научный редактор Е. В. Галкин ; Министерство просвещения РСФСР, Челябинский ордена "Знак Почета" государственный педагогический институт. - Челябинск : [б. и.], 1985. - 31, [1] с. ; 20 см. - Библиография: с. 30. - 600 экз. - 00.30 р.
ББК В12

Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика
Доп.точки доступа:
Галкин, Е. В. \ред.\
РСФСР. Министерство просвещения
Челябинский государственный педагогический институт

Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)