Lekcii po konstruktivnomu matematičeskomu analizu - Kušner, Boris Abramovič (Matematičeskaja logika i osnovanija matematiki, 1973)