TY  - BOOK
AU  - Pudlak, Pavel
TI  - Logical foundations of mathematics and computational complexity: A gentle introduction
U1  - 511.3 P962L 
PY  - 2013///
CY  - Heidelberg
PB  - Springer
ER  -