Автор: Смальян Раймонд М.

Основное заглавие: Теория формальных систем

Ответственность: пер. с англ. Н. К. Косовского ; под ред. [и с предисл.] Н. А. Шанина

Физический носитель: текст

Год публикации: 1981

Место издания: Москва

Издательство: Наука

Объем: 207 с.

Cерия: Математическая логика и основания математики

Ключевые слова: Математическая логика;

ББК: 22.122

Библиография: Библиогр.: с. 202-204; Указ. определений, обозначений: с. 205-207