Proof theory : sequent calculi and related formalisms /: sequent calculi and related formalisms. (2014) - Bimbó, Katalin, 1963-
No abstract available