Gaya APA

Jeřábek, E. (2009). Proof Complexity of the Cut-free Calculus of Structures . : .

Gaya MLA

Jeřábek, Emil. "Proof Complexity of the Cut-free Calculus of Structures ". : , 2009. Text.