Deakstadieđáhus: An Introductory Logic.