Gaya APA

Bokov, G, V. (2015). Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication . : .

Gaya MLA

Bokov, Grigoriy, V.. "Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication". : , 2015. Text.