Introduction to symbolic logic and its applications - Carnap, Rudolf (Dover Publications, 2011)