Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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