Gaya APA

Dashkov, E. (2011). Arithmetical Completeness of the Intuitionistic Logic of Proofs . : .

Gaya MLA

Dashkov, Evgenij. "Arithmetical Completeness of the Intuitionistic Logic of Proofs". : , 2011. Text.