Lekcii po konstruktivnomu matematičeskomu analizu - Kushner, B. A. 1941-2019 (Matematičeskaja logika i osnovanija matematiki, 1973)