Gabbay, Dov M.
Labelled Deductive Systems, Vol.1 - USA OUP 1996 - 497 - Oxford Logic Guides, 33 .
0198538332
Labelled Deductive Systems
510.6 GAB
Labelled Deductive Systems, Vol.1 - USA OUP 1996 - 497 - Oxford Logic Guides, 33 .
0198538332
Labelled Deductive Systems
510.6 GAB