Alan Turing
(1912 – 1954)


تاربرگ‌های پیموده‌شده در این نشست: Aristotle ⟩ Avicenna ⟩ Axiom schema of separation ⟩ Axiom of Replacement ⟩ affixing relevant logics