Gaya APA

Avron, O, L, A, A. (2013). A semantic proof of strong cut-admissibility for first-order Gödel logic . : .

Gaya MLA

Avron, Ori, Lahav, And, Arnon. "A semantic proof of strong cut-admissibility for first-order Gödel logic ". : , 2013. Text.