Arthur Norman Prior
(1914 – 1969)


تاربرگ‌های پیموده‌شده در این نشست: Dana Stewart Scott ⟩ real number ⟩ Axiom of Foundation ⟩ Georg Kreisel ⟩ Thomas H. Cormen ⟩ transcendence