آشنایی با Modal Logics between S4 and S5 کیست؟ Modal Logics between S4 and S5 آشنایی با ابن سینا، ابوعلی سینا کیست؟ ابن سینا، ابوعلی سینا آشنایی با پور سینا کیست؟ پور سینا

پور سینا

(980 – 1037)

همچنین شناخته شده با: ابن سینا، ابوعلی سینا پور سینا

برابر انگلیک (انگلیسی): Avicenna Ibn-Sina

تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem B.1 ⟩ Modal Theorem K.3 ⟩ ماگما ⟩ Modal Axiom B ⟩ خشنودی‌پذیری ⟩ بوندگی افماریک کارکردی رایه‌ی یکم