Pyotr Sergeyevich Novikov
(1901 – 1975)


تاربرگ‌های پیموده‌شده در این نشست: Philosophische Untersuchungen ⟩ Propositional modal logic ⟩ Paul the Persian ⟩ Peano arithmetics ⟩ prime number ⟩ paradoxes of strict implication