Deakstadieđáhus: Logic and discrete mathematics :