"Метод математики. Логика и гносеология математических знаний" - читать интересную книгу автора (Мендельев К.)