Deakstadieđáhus: Methods of logic