Deakstadieđáhus: Tratado de lógica