Repository | Directory | Profile

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

Repository | Directory | Profile
A formal framework for hypersequent calculi and their fibring
2015
in: The road to universal logic I, Basel : Birkhäuser