Pyotr Sergeyevich Novikov

(1901 – 1975)


تاربرگ‌های پیموده‌شده در این نشست: Proof theorists Peano arithmetics Payara partially ordered set