Platon
(427 BC – 347 BC)


تاربرگ‌های پیموده‌شده در این نشست: plausible ⟩ Avicenna ⟩ Necessitation rule ⟩ Aristotle’s Logic ⟩ Arend Heyting ⟩ provability