Symbolic Logic - Lewis Clarence Irving; Langford Cooper Harold (New York : Dover, 1959)