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

Mis à jour il y a 6 ans