Логика без тайн: Все обозначения и их значения