Deakstadieđáhus: Mathematical logic