TY  - BOOK
AU  - Pudlak, Pavel
TI  - Logical foundations of mathematics and computational complexity: a gentle introduction
SN  - 9783319001180
U1  - 511.3 
PY  - 2013///
CY  - Cham
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Computational complexity
KW  - Mathematics
KW  - Computer software
ER  -