Boolos, George, 1940-1996
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. -- Fifth edition. -- Cambridge : Cambridge University Press, 2007. -- xiii, 350 stran : ilustrace. -- Zpracováno dle dotisku. -- 3134043020 - dotisk 2010. -- ISBN : 978-0-521-70146-4 (brožováno).
Burgess, John P., 1948-. Jeffrey, Richard C., 1926-2002
rekurzivní funkce. teorie vyčíslitelnosti. matematická logika. učebnice
510.6. 510.57. 510.5. (075)