TY  - BOOK
AU  - Krajíček,Jan
TI  - Proof complexity
T2  - Encyclopedia of mathematics and its applications
SN  - 9781108416849
AV  - QA9.54 K72
U1  - 511.3/6 23
PY  - 2019///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Teoría de la demostración
KW  - Complejidad computacional
ER  -