Výsledky vyhledávání
- Automata and computability / Dexter C. Kozen. Berlin ; Heidelberg ; New York : Springer, c1997 . xiii, 400 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 5 0 0 2 0 0 kniha
- Computability and complexity theory / Steven Homer, Alan L. Selman. New York, NY : Springer, [2011] ©2011 . xvi, 298 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- 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
- Elements of finite model theory / Leonid Libkin. Berlin : Springer, c2004 . xiv, 315 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 kniha
- Handbook of computability theory / edited by Edward R. Griffor. Amsterdam : Elsevier, 1999 . xii, 727 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 kniha
- Introduction to mathematical logic / Elliott Mendelson. Boca Raton ; London ; New York : CRC Press, Taylor & Francis Group, [2015] ©2015 . xxiv, 489 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 kniha
- Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 / edited by John N. Crossley. Amsterdam : North-Holland Publishing Company, 1967 . 331 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0 kniha
- Thinking resursively / Eric Roberts. New York, N.Y. : John Wiley and Sons, c1986 . x, 179 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 kniha
- Výpočty. Svazek II / Michal Černý. Praha : Professional Publishing, [2011] ©2011 . 399 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 kniha