TY  - BOOK
AU  - Pudlak,Pavel
ED  - ProQuest (Firm)
TI  - Logical foundations of mathematics and computational complexity: a gentle introduction 
T2  - Springer monographs in mathematics
SN  - 9783319001197
AV  - QA267.7.P83 L64 2013
PY  - 2013///
CY  - New York
PB  - Springer
KW  - Computational complexity
KW  - Mathematics
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1205643
ER  -