La logica dei sistemi di elaborazione