512.56. Структуры.

512.562Частично упорядоченные множества.
См. также 510.22.
512.563Булевы кольца и алгебры.
См. также 517.987.3.
512.565Типы структур.
512.567Представления структур.
512.568Обобщения структур.

[ Начало ]