Gaya APA

Rybakov, V. (2009). Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification . : .

Gaya MLA

Rybakov, V.. "Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification". : , 2009. Text.