Krajicek, J. (1995). Bounded arithmetic, propositional logic, and complexity theory. Cambridge University Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Krajicek, Jan. Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge [England] ; New York, NY, USA: Cambridge University Press, 1995.
Παραπομπή σε μορφή MLA (8th εκδ.)Krajicek, Jan. Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge University Press, 1995.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.