Labelled sequent calculi for indexed modal logics
Orlandelli Eurgenio
Clueb
Bologna, 2019; paperback, pp. 162, cm 14x20,5.
(Heuresis. Linguaggio, Logica, Scienza. 18).
series: Heuresis. Linguaggio, Logica, Scienza
ISBN: 88-491-5658-8 - EAN13: 9788849156584
Languages:
Weight: 0.78 kg