Wojciech Zielonka
(2000-2009)
X(2009). Weak implicational logics related to the Lambek calculus: Gentzen versus Hilbert formalisms. In D. Makinson, J. Malinowski, & H. Wansing (Eds.). Towards mathematical philosophy (pp. 201-212). Dordrecht: Springer.