Arthur Norman Prior
(1914 – 1969)


تاربرگ‌های پیموده‌شده در این نشست: Archimedes ⟩ Axiom of Empty set ⟩ Axiom of pairing