17 11.丘崎(A.Church, ): 「邏輯是一門以抽掉命題的質料或內容,僅僅處理命題的邏輯形式為方法,有系統的研究命題的一般結構,以及有效推演(vslid inference)的一般條件的 ...
確定! 回上一頁