Учебник логики 1954