TY - BOOK AU - Pudlak,Pavel TI - Logical foundations of mathematics and computational complexity: a gentle introduction SN - 9783319001180 U1 - 510.21 PY - 2013/// CY - New York PB - Springer KW - MATHEMATICS KW - COMPLEX VARIABLES ER -