"Системный синтез программ обоснования математики" - читать интересную книгу автора (Михайлова Н.В.)