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