TY  - BOOK
AU  - Krají?ek
TI  - Proof Complexity
SN  - 9781108242066
PB  - Cambridge University Press
UR  - https://doi.org/10.1017/9781108242066
ER  -