131754

References

Wojciech Zielonka

Weak implicational logics related to the Lambek calculus: Gentzen versus Hilbert formalisms

2009

in: Towards mathematical philosophy, Dordrecht : Springer

Open Access Link