N. Stojanović, N. Ikodinovic, Radosav Djordjevic 3 2018. A Propositional Logic with Binary Metric Operators. Preuzmi PDF Computer Science + 1