A Survey of Symbolic Logic
Lewis, Clarence Irving
Modern interest in modal logic began with this seminal work by the American C. I. Lewis. As well as developing a theory of strict implication based on criticism of Russell and Whitehead's concept of implication, it contains valuable historical information on the history and application of algebra to developments in symbolic logic.
