Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell.

CONTENTS OF VOLUME I
PAGE
PREFACE............. v
INTRODUCTION........... 1
CHAPTER I. PRELIMINARY EXPLANATIONS OF IDEAS AND NOTATIONS.. 4
CHAPTER II. THE THEORY OF LOGICAL TYPES...... 39
CHAPTER III. INCOMPLETE SYMBOLS........ 69
PART I. MATHEMATICAL LOGIC.
Summary of Part I.......... 91
SECTION A. THE THEORY OF DEDUCTION...... 94
*1. Primitive Ideas and Propositions...... 95
*2. Immediate Consequences of the Primitive Propositions.. 102
*3. The Logical Product of two Propositions..... 114
*4. Equivalence and Formal Rules....... 120
*5. Miscellaneous Propositions........ 128
SECTION B. THEORY OF APPARENT VARIABLES...... 132
*9. Extension of the Theory of Deduction from Lower to Higher
Types of Propositions......... 132
*10. Theory of Propositions containing one Apparent Variable.. 143
*11. Theory of two Apparent Variables....... 157
*12. The Hierarchy of Types and the Axiom of Reducibility.. 168
*13. Identity............ 176
*14. Descriptions......... 181
SECTION C. CLASSES AND RELATIONS........ 196
*20. General Theory of Classes........ 196
*21. General Theory of Relations........ 211
*22. Calculus of Classes.......... 217
*23. Calculus of Relations......... 226
*24. The Universal Class, the Null-Class, and the Existence of Classes. 229
*25. The Universal Relation, the Null Relation, and the Existence of
Relations........... 241