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