К лини С. К., Введение в метаматематику

http://libmeta.ru/resource/mathenc/publication/p2672