Валентин Германович Попов:
Логика и реальность. 12. Логика математики