Heinrich Wansing

Proof Theory of Modal Logic - 1996 - Springer Netherlands 1996 - Applied Logic Series .

9789401727983


Mathematics and Statistics