1. Arithmetic, proof theory, and computational complexity
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 |