rt-in_progress/rt-g0_73c250c9-Kleene_VVM-russian: Клини Стефен К. -- "Введение в метаматематику" -- перевод с английского А. С. Есенин-Вольпин -- 1957 год @ 96b7d7aa3b10affbb6abf265b58ca65b709f0851 - Gogs

12345

.*/
build/
*.backup
*.kilepr
*.log