Spravočnaja kniga po matematičeskoj logike. V 4-ch častjach. Časť 3. : Teorija rekursii. - BARWISE, J (Moskva, 1982)
Záznam revízie