Стівен Коул Кліні

Введение в метаматематику
папір