A Science of Operations: Machines, Logic and the