Pyotr Sergeyevich Novikov

(1901 – 1975)


تاربرگ‌های پیموده‌شده در این نشست: subcontrary lattice Quantified modal logic