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