1. Logical foundations of mathematics and computational complexity
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák. [Schwitzerland] : Springer, c2013. xiv, 695 s. Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 1 | 0 | 0 | 3 | 0 | 0 |