Клини Стефен К. -- "Введение в метаматематику" -- перевод с английского А. С. Есенин-Вольпин -- 1957 год

Actualizado %!s(int64=6) %!d(string=hai) anos