517 К 424 Кипнис, Михаил Маркович. Генценовские системы для исчисления высказываний и аксиоматической арифметики : учеб. пособие / М. М. Кипнис ; Челяб. гос. пед. ин-т. - Челябинск : ЧПИ, 1985. - 31 с. - 0.30 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Челябинский государственный педагогический институт Экземпляры всего: 1 Х (1) Свободны: Х (1) |