Teorija dokazateľstv i konstruktivnaja matematika - Barwise, J. (rz1, 1983)