Pyotr Sergeyevich Novikov

(1901 – 1975)


تاربرگ‌های پیموده‌شده در این نشست: Metaphysics perceptron Peano arithmetics Paul the Persian partially ordered set Proof theorists