Alan Turing

(1912 – 1954)


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B∨¬B) Aristotle’s Logic Axiom of Foundation Aristotle Avicenna