Martín Figallo
in English
XA formal framework for hypersequent calculi and their fibring
2015
in: The road to universal logic I, Basel : Birkhäuser
in English
XA formal framework for hypersequent calculi and their fibring
2015
in: The road to universal logic I, Basel : Birkhäuser