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