Stav dette: The logical basis for computer programming