Foundations of logic and mathematics - Carnap, Rudolf (International Encyclopedia of Unified Science : Foundations of the Unity of Science ;, 1970)