Pudlak, P. (2013). Logical foundations of mathematics and computational complexity: A gentle introduction. Springer.
Παραπομπή Chicago StylePudlak, Pavel. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Heidelberg: Springer, 2013.
Παραπομπή MLAPudlak, Pavel. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer, 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.