آلن تورینگ
(1912 – 1954)
برابر انگلیک (انگلیسی): Alan Turing


تاربرگ‌های پیموده‌شده در این نشست: نبیگ فشرده در افماریک جبر و تراز کردن ⟩ سُتوارشی ⟩ Modal Theorem K.5 ⟩ گویایی‌های زیرساختاری ⟩ گویایی بسیار ارزشی ⟩ گویایی‌های زیرساختاری