Deakstadieđáhus: The elements of mathematical logic.