The article presents information on the logic of coordinate indexing calculus of modern symbolic logic, which, in turn, is based upon George Boole's algebra of logic and Ernst Schroder's development of the algebra to its present definitive form. Each indexing term generates a class, namely the class of all subjects whose description requires the use of the given term. The terms of coordinate indexing are thus governed by the basic theorems of symbolic logic, and all relationships between the classes are describable in terms of logical conjunction, alternation, and negation. In the formal presentation which follows, one has used all of the postulates of the classic class calculus but have used only those theorems which are required by the special combinations of terms in coordinate indexing.