发表于2024-11-08
Logic, Logic, and Logic 2024 pdf epub mobi 电子书
图书标签: 语义 数理逻辑 MathLogic Math
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 2024 pdf epub mobi 电子书