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