Arend Heyting
(1898 – 1980)


تاربرگ‌های پیموده‌شده در این نشست: logical truth ⟩ Formal System ⟩ integration ⟩ Clifford Stein ⟩ natural number ⟩ assertoric