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