Gaya APA

Avron, A. (2012). A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic . : .

Gaya MLA

Avron, Arnon. "A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic". : , 2012. Text.