当前位置:首页 > 外文
LOGIC FOR MATHEMATICIANS
LOGIC FOR MATHEMATICIANS

LOGIC FOR MATHEMATICIANSPDF电子书下载

外文

  • 电子书积分:16 积分如何计算积分?
  • 作 者:J. BARKIEY ROSSER
  • 出 版 社:
  • 出版年份:1953
  • ISBN:
  • 页数:530 页
图书介绍:
《LOGIC FOR MATHEMATICIANS》目录
标签:

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

返回顶部