Gaya APA

Kozak, M. (2011). Cyclic Involutive Distributive Full Lambek Calculus is Decidable . : .

Gaya MLA

Kozak, Michał. "Cyclic Involutive Distributive Full Lambek Calculus is Decidable ". : , 2011. Text.