Gaya APA

Computing Minimal Axiomatizations in Gödel Propositional Logic . (2012). : .

Gaya MLA

Computing Minimal Axiomatizations in Gödel Propositional Logic . . : , 2012. Text.