Teorija dokazarel'stv i konstruktivnaja matematika : Čast' IV (Nauka, 1983)