Gaya APA

Model-theoretic characterization of intuitionistic predicate formulas . (2014). : .

Gaya MLA

Model-theoretic characterization of intuitionistic predicate formulas . . : , 2014. Text.