Avicenna
(980 – 1037)


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Empty set ⟩ Axiom of Foundation ⟩ A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology ⟩ Arend Heyting ⟩ Aristotle ⟩ Axiom KP