Arthur Norman Prior
(1914 – 1969)


تاربرگ‌های پیموده‌شده در این نشست: Arthur Norman Prior ⟩ Augustus De Morgan ⟩ Archimedes ⟩ Axiom of pairing ⟩ antisymmetric ⟩ Axiom of infinity