Introduction to symbolic logic and its applications / Rudolf Carnap. - Carnap, Rudolf, 1891-1970. (OLS)http://pul/name/10976 (Dover, 1958)