Spravočnaja kniga po matematičeskoj logike : Čast' 4. Teorija dokazatel'stv i konstruktivnaja matematika (Nauka, 1983)