Deakstadieđáhus: Mathematical Logic/