Cook, S., & Nguyen, P. (2010). Logical foundations of proof complexity. Association for Symbolic Logic Cambridge University Press.
Цитирование в стиле Чикаго (17-е изд.)Cook, Stephen, и Phuong Nguyen. Logical Foundations of Proof Complexity. Ithaca, N.Y., New York, N.Y: Association for Symbolic Logic Cambridge University Press, 2010.
Цитирование MLA (9-е изд.)Cook, Stephen, и Phuong Nguyen. Logical Foundations of Proof Complexity. Association for Symbolic Logic Cambridge University Press, 2010.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.