Deakstadieđáhus: Logic, computation, hierarchies /