Search results
- Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček. Oxford : Clarendon Press, 1993 . xii, 428 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Boolean functions and computation models / Peter Clote, Evangelos Kranakis. Berlin ; New York, N.Y. : Springer, c2002 . xiv, 601 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book