Hilbert 是德國大數學家 Klein 以後的數學權威。這本書,邏輯界公認為標準的邏輯教本,凡現代邏輯中的重要問題,如類型論,決定問題(Entscheidungsproblem),無不論列。
確定! 回上一頁