Abstract

Unlike many other introductions to propositional calculus, analysis of propositions, and logic of relations, this one contains an excellent chapter presenting in short scope and in a very readable manner the historical origins of modal logic, many-valued logic, and intuitionistic logic.--P. J.