Výsledky vyhledávání
- 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 
kniha