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

Změněné před 6 roky