Gaya APA

, M, A, A, S, M, M. (2015). Reduction of provability logics to Σ1-provability logics . : .

Gaya MLA

, Mohammad, Ardeshir, And, S., Mojtaba, Mojtahedi. "Reduction of provability logics to Σ1-provability logics". : , 2015. Text.