Gaya APA

Finger, M. (2010). Analytic Methods for the Logic of Proofs . : .

Gaya MLA

Finger, Marcelo. "Analytic Methods for the Logic of Proofs". : , 2010. Text.