Deakstadieđáhus: Logic and arithmetic :