- 作 者：J. BARKIEY ROSSER
- 出 版 社：
- 出版年份：1953
- ISBN：
- 标注页数：530 页
- PDF页数：534 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源534 ≥530页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
CHAPTER Ⅰ WHAT IS SYMBOLIX LOGIC？ 1
CHAPTER Ⅱ THE STATEMENT CALCULUS 12
CHAPTER Ⅲ THE USE OF NAMES 49
CHAPTER Ⅳ AXIOMATIC TREATMENT OF THE STATEMENT CALCULUS 54
CHAPTER Ⅴ CLARIFICATION 77
CHAPTER Ⅵ THE RESTRICTED PREDICATE CALCULUS 82
CHAPTER Ⅶ EQUALITY 163
CHAPTER Ⅷ DESCRIPTIONS 181
CHAPTER Ⅸ CLASS MEMBERSHIP 197
CHAPTER Ⅹ RELATIONS AND FUNCTIONS 275
CHAPTER Ⅺ CARDINAL NUMBERS 345
CHAPTER Ⅻ ORDINAL NUMBERS 456
CHAPTER ⅩⅢ COUNTING 483
CHAPTER ⅩⅣ THE AXIOM OF CHOICE 490
CHAPTER ⅩⅤ WE REST OUR CASE 517
BIBLIOGRAPHY 523
INDEX 527