Ingen varer
Gå til kassen
Bemærk: Kan ikke leveres før jul.
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.