رده‌ها نبیگ

آغاز انگارش

(1910 – 1913)
همچنین شناخته شده با: مبادی ریاضیات
برابر انگلیک (انگلیسی): Principia Mathematica

دست‌اندرکاران:

گسترش‌ها
Bertrand Russell
برتراند راسل
(1872 – 1970)


تاربرگ‌های پیموده‌شده در این نشست: بی‌کنشی چندبارگی Modal Theorem K.1 آی‌بی‌ام بنداشت D Modal System S4 Modal Theorem T.1