Carnap, R. The formalization of logic. - Cambridge Harvard University Press 1947. - V. - Studies in Sematics, 2 . Bibliography: p.[155]. Includes index.