在數理邏輯中,直覺主義邏輯的布勞威爾-海廷-柯爾莫哥洛夫釋義(Brouwer–Heyting–Kolmogorov interpretation)或BHK釋義是由魯伊茲·布勞威爾、阿蘭德·海廷和獨立的由安 ...
確定! 回上一頁