Arend Heyting
(1898 – 1980)


تاربرگ‌های پیموده‌شده در این نشست: antisymmetric ⟩ Alan Ross Anderson ⟩ Aristotle ⟩ Avicenna ⟩ Aristotle’s Logic ⟩ Axiom of Foundation