classical logic

[ریاضیات] منطق کلاسیک