Электронный каталог: Carnap, Rudolf - Introduction to symbolic logic and its applications