Torben Braüner

Hybrid Logic and its Proof-Theory - 2011 - Springer Netherlands 2011 - Applied Logic Series .

9789400700024


Mathematics and Statistics