Proofs and Algorithms

MLA

Dowek, Gilles. Proofs and Algorithms. Springer London, 2011.

APA

Dowek, G. (2011). Proofs and Algorithms. Springer London.

Chicago

Dowek, Gilles Proofs and Algorithms. : Springer London, 2011.