Weak implicational logics related to the Lambek calculus

Gentzen versus Hilbert formalisms

Wojciech Zielonka

pp. 201-212


This document is unfortunately not available for download at the moment.

Not implemented yet !