"Dragalin. Matematicheskij intuicionizm. Vvedenie v teoriju dokazatel'stv (Nauka, 1979)(ru)(L)(128s).djvu" - читать интересную книгу автора