Foundations of logic and mathematics - Carnap, Rudolf, 1891-1970 (International encyclopedia of unified science ;, 1963)