Search results
- Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. New York NY : Cambridge University Press, 2014 . xv, 479 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book