圖書標籤: 語義 數理邏輯 MathLogic Math
发表于2024-12-25
Logic, Logic, and Logic pdf epub mobi txt 電子書 下載 2024
George Boolos is viewed by many as one of the influential logician-philosopher of the 20th century. This collection includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Godel theormes.
評分
評分
評分
評分
Logic, Logic, and Logic pdf epub mobi txt 電子書 下載 2024