Survey Symbolic Logic by Clarence Irving Lewis