Каноническая единственность аксиоматики исчисления высказываний и единственность алгоритмов Кука / Проскуряков М. Н.
Язык: русский.Выходные данные: Москва : Репро Галерея, 2013Физическая характеристика: 11 с. ; 21 см.Библиография: Библиогр.: с. 11 (2 назв.).Предметная рубрика - Тема: Исчисление высказываний -- Теория доказательств | Алгоритмы Неконтролируемые предметные термины: единственность алгоритмов Кука УДК: 510Другие классификации: В123 ; В127 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр.: с. 11 (2 назв.)