Ruth Barcan Marcus
(1921 – 2012)


تاربرگ‌های پیموده‌شده در این نشست: Mathematical foundations ⟩ Contraposition ⟩ affixing relevant logics ⟩ Löb's theorem ⟩ Closure algebra ⟩ Georg Cantor