Р. Смальян

Теория формальных систем

авторская книга, первое издание

М.: Наука, 1981 г.

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

ISBN отсутствует