Issledovanija po teorii algoritmov i matematičeskoj logike
In kyrill. Schr.