Clote, P., & Krajicek, J. (1993). Arithmetic, proof theory, and computational complexity. Clarendon Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Clote, Peter, και Jan Krajicek. Arithmetic, Proof Theory, and Computational Complexity. Oxford: Clarendon Press, 1993.
Παραπομπή σε μορφή MLA (8th εκδ.)Clote, Peter, και Jan Krajicek. Arithmetic, Proof Theory, and Computational Complexity. Clarendon Press, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.