TY  - GEN
AU  - Pudlak, Pavel
TI  - Logical foundations of mathematics and computational complexity: a gentle introduction 
T2  - Springer Monographs in mathematics
SN  - 978331900119
PY  - 2013///
CY  - Heidelberg 
PB  - Springer
KW  - Logic and complexity
KW  - Mathematics - Complexity theory
ER  -