هاگردش همچنین شناخته شده با: عکس مستوی برابر انگلیک (انگلیسی): Pyotr Sergeyevich Novikov تاربرگهای پیمودهشده در این نشست: بنداشتش ⟩ انگارهی پیوستار ⟩ ترم ⟩ ارزش کارکردی ⟩ جورج بول ⟩ A reduction in number of the postulates for C. I. Lewis' system of strict implication