A⥽(B⥽B)


تاربرگ‌های پیموده‌شده در این نشست: axiomatization ⟩ Continuum hypothesis ⟩ term ⟩ truth functional ⟩ George Boole ⟩ A reduction in number of the postulates for C. I. Lewis' system of strict implication