Search results
- Basic proof theory / A.S. Troelstra, H. Schwichtenberg. Cambridge : Cambridge University Press, 2000 . xii, 417 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
| Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
|---|---|---|---|---|---|---|
| PRF | 0 | 0 | 0 | 1 | 0 | 0 |
book