Deakstadieđáhus: Methods in mathematical logic