![](/img/cover-not-exists.png)
[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Proof Complexity
Pudlák, PavelVolume:
10.1007/97
Year:
2013
Language:
english
DOI:
10.1007/978-3-319-00119-7_6
File:
PDF, 651 KB
english, 2013