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.
發表於2024-12-23
Logic, Logic, and Logic 2024 pdf epub mobi 電子書 下載
圖書標籤: 語義 數理邏輯 MathLogic Math
Logic, Logic, and Logic 2024 pdf epub mobi 電子書 下載