As to the technical qualities of this book, it is asummed that the reader has a modest acquaintance with mathematical symbolism and methods and, in particular, whit the classical propositional and predicate calculus such as is given in a first undergraduate course in formal logic.