Introduction to symbolic logic and its applications - Carnap, Rudolf (Dover books on mathematics, 1958)