Pudlak, P. (2013). Logical foundations of mathematics and computational complexity: A gentle introduction. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Pudlak, Pavel. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Cham ; New York: Springer, 2013.
Παραπομπή σε μορφή MLA (9th εκδ.)Pudlak, Pavel. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer, 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.