Notes on the logic of the ERA 1103 computer system