無法找到符合 阿蘭德·海廷 的相關結果。請嘗試以下建議或輸入其它關鍵字。
建議:
Arend Heyting
阿蘭德·海廷是荷蘭數學家和邏輯學家。他是魯伊茲·布勞威爾在阿姆斯特丹大學的學生之一,他做了很多工作來使直覺主義邏輯立足於成為數理邏輯一部分。... 維基百科