Gaya APA

Shamkanov, D. (2015). Nested sequents for provability logic GLP . : .

Gaya MLA

Shamkanov, Daniyar. "Nested sequents for provability logic GLP". : , 2015. Text.