logical types

[ریاضیات] طبقات منطقی