[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || The Complexity of Computations
Pudlák, PavelVolume:
10.1007/97
Year:
2013
Language:
english
DOI:
10.1007/978-3-319-00119-7_5
File:
PDF, 965 KB
english, 2013