ŁUKOWSKI, Piotr. A deductive-reductive form of logic: General theory and intuitionistic case. Logic and Logical Philosophy. Online. 19 January 2004. Vol. 10, no. 10, p. 59–78. [Accessed 25 July 2024]. DOI 10.12775/LLP.2002.004.