Deakstadieđáhus: Mathematical logic in Asia