Logic Systems Engineering