Deakstadieđáhus: Logic for mathematicians /