Spravočnaja kniga po matematičeskoj logike. V 4-ch častjach. Tom 4. : Teorija dokazateľstv i konstruktivnaja matematika. - BARWISE, J (Moskva, 1983)
Záznam revízie