А для будущих специалистов у них есть всё, в том числе учебники для перехода от решательной школьной математики к доказательной колледжной:
http://giam.southernct.edu/GIAM/http://www.people.vcu.edu/~rhammack/BookOfProof/https://www.tedsundstrom.com/mathreasoning(это свободные, ещё возможно есть десятки платных)
По этому случаю прошу подсказать мне отечественные пособия такого рода, очень надо одному товарищу.