Pyotr Sergeyevich Novikov
(1901 – 1975)


تاربرگ‌های پیموده‌شده در این نشست: Heyting algebra ⟩ Alfred Tarski ⟩ associativity ⟩ A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology ⟩ mereology