Ingen varer
Kassen / rediger kurv
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems.... Læs mere