1. Computability and logic
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Cambridge : Cambridge University Press, 2007. xiii, 350 stran | Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
|---|---|---|---|---|---|---|
| PRF | 1 | 0 | 0 | 1 | 0 | 0 |