Introduction to symbolic and its applications - Carnap, Rudolf (Dover publications, 1958)