Deakstadieđáhus: Mathematical logic.