A SURVEY OF SYMBOLIC LOGIC - Lewis, C.I. (Dover Publications, Inc., 1960)