Logic, Logic, and Logic 在线电子书 图书标签: 语义 数理逻辑 MathLogic Math
发表于2024-12-23
Logic, Logic, and Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 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 下载 txt下载 epub 下载 mobi 下载 2024