Deakstadieđáhus: Logic, computers, and sets