Pudlák, P. (2013). Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Pudlák, Pavel. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Heidelberg: Springer International Publishing : Imprint: Springer, 2013.
Παραπομπή σε μορφή MLA (8th εκδ.)Pudlák, Pavel. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer International Publishing : Imprint: Springer, 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.