LOGIC FOR MATHEMATICIANSPDF电子书下载

购买点数

16 点

出版社

出版时间

1953

ISBN

标注页数

530 页

PDF页数

534 页

标签

书籍介绍

图书目录

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