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