Deakstadieđáhus: The Logic of Computer Programming