Carnap, Rudolf Introduction to semantics and formalization of logic Rudolf Carnap. - Cambridge Harvard University Press 1959. - Two volumes in one. Includes index. Bibliography: p.[154].