Логика (Госполитиздат, 1956)