Foundations of logic and mathematics - Carnap, Rudolf 1891-1970 (Univ. of Chicago Press, 1963)