Výsledky vyhledávání
- 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 kniha