Deakstadieđáhus: Introduction to Logical Theory