A Survey of Symbolic Logic
Clarence Irving Lewis
University of California Press
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.

- first history of the development of symbolic logic
- origins of the theory of strict implication
- valuable bibliography and index