Avicenna

(980 – 1037)


تاربرگ‌های پیموده‌شده در این نشست: Admissible rule Axiom of choice Abelian Group axiomatization