"Novikov P.S. Konstruktivnaja matematicheskaja logika s tochki zrenija klassicheskoj (1977)(ru)(L)(T)(165s).djvu" - читать интересную книгу автора