APA (7th ed.) Citation

Dowek, G. (2011). Proofs and Algorithms: An Introduction to Logic and Computability. Springer London.

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

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