简介
本卷包括兩部論著:《集合論及其邏輯》(1963)和《邏輯哲學》(1970)。前者是一部關於抽象集合論及其各種公理方法系統化的導引性著作。作者從一種對無窮類的存在無所示意的形式系統開始,在需要假定無窮類時,他容許這些假定只作為特別定理的明說的假設。在帶有總結性的最後幾章中,他描述了羅素的類型論、策梅洛系統、馮·諾尹曼系統和他本人的兩個系統,以及當時的某些發展,還探索了這些系統之間的邏輯聯繫。在後者中... 更多
属性
作者
蒯因
出版社
人民大學出版社
ISBN
9787300077888
出版年
2007-01
装帧
平裝
价格
66.00元
页数
490
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%