Deakstadieđáhus: Introduction a la logique contemporaine