Switch to: Citations

References in:

Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 393-411 (1998)

Add references

You must login to add references.

No references yet.