图书标签: 语义 数理逻辑 MathLogic Math
发表于2024-12-23
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