Ingen varer
Kassen / rediger kurv
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.