Foundations of logic and mathematics - Carnap, Rudolf 1891 - 1970 (University of Chicago Press, 1957)