Konstruktivnaja matematičeskaja logika s točki zrenija klassičeskoj - Novikov, Petr Sergejevič (Matematičeskaja logika i osnovanija matematiki, 1977)