Anaximenes
(585 BC – 528 BC)


تاربرگ‌های پیموده‌شده در این نشست: apodictic ⟩ Arend Heyting ⟩ Apeiron ⟩ A Completeness Theorem in Modal Logic