Deakstadieđáhus: Classical mathematical logic