TY  - BOOK
AU  - Pudl�k, Pavel
TI  - Logical foundations of mathematics and computational complexity: A gentle introduction
SN  - 9783319001180
CY  - New york
KW  - Logical foundations
KW  - Computational complexity
ER  -