Avicenna
(980 – 1037)


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