APA (7th ed.) Citation

Dowek, G. (2011). Proofs and algorithms: An introduction to logic and computability. Springer.

Chicago Style (17th ed.) Citation

Dowek, Gilles. Proofs and Algorithms: An Introduction to Logic and Computability. London [etc.]: Springer, 2011.

MLA (9th ed.) Citation

Dowek, Gilles. Proofs and Algorithms: An Introduction to Logic and Computability. Springer, 2011.

Warning: These citations may not always be 100% accurate.