Charles Sanders Peirce

(1839 – 1914)


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