Search results
- 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 book
- 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 
book
- 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 book
- 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 book
- 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 book
- 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 book